Simplified labels related to build and run settings

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.