Local database config

You can now configure the database on your local system. You can change
the configuration in core/configuration.php.
This file is ignored while commiting changes to github, so they stay
local.