Delete config.php

Ideally, people copy config.default.php, more documentation on that will appear later.