Console: select mixin checkboxes by clicking their label

In the console, the bottom part of a node's details shows a list of all possible mixins that can be selected. These checkboxes can only be selected by clicking the checkboxes itself. It should also be possible to select them by clicking their label. That makes it a lot easier to select them.

This is a trivial HTML change: just wrap the label tag around the <input type="checkbox"> field.