Moved config.php to config.php.dist

I moved `config.php` to `config.php.dist` so that editing `config.php` locally doesn't show the file as "modified" by git.

This is similar to `phpunit.xml.dist` btw.