Preferences!

First steps to allow customization of everything, from coding standards
to theme.