Mainly removed the "Settings" part, since we don't use that in our
settings pages generally.

Also merged the build and run group boxes, since they both have only a
single checkbox currently. Easy enough to add more structure when
necessary.