Implement #34: Advanced settings page

WARNING: The old settings are incompatible and will be lost! This includes
the general settings, shortcuts, colors and aliases. Saved connections are
unaffected...