Rework settings window

 * Merge font settings into Look & Feel (now called Appearance)
 * Merge History and Emulation into Behavior
 * Move some behavior-related settings from Appearance to Behavior
 * Make sure the page selection widget never needs a scrollbar
 * Strings cleanup

Closes #91