Sprint 177

In this sprint, we're adding a number of enhancements to the pull request experience. These include making optional checks more visible, enabling Ctrl-clicks to open a new tab, adding location to annotations, and improving the comment filtering layout.