Checkbox on top of issues list to allow global selection/unselection

It's now possible to select multiple issue by using the Shift key and the checkboxes. However, there is no one-click way to deselect all.

We need to add a checkbox on the list header to allow selection/deselection of the entire list of issues.