Moved config loading to index.php}
As `index.php` is the entry point of the webapp, loading configuration
data from the `config.ini` should take place there. This makes testing
easier, since a properly formatted `config.ini` (whose values are
overriden anyway) is no longer needed.