Set default settings module to dev_settings

Simplifies a lot of commands.
Load filerevs on startup, instead of on use

Saves a lot of time in file handling, but with a slightly higher memory
footprint. Only a couple of kB though, doesn't matter much.