Config file

As discussed in #80:
* Basic default settings file (currently used only for initial window resolution).
* Optional user settings file that overwrites the default settings.