Make Settings a dialog with its own sidebar

Settings now groups preferences in a dialog with a sidebar, replacing a long single-page layout.