Copy config-dist.php to config.php

Most of the time to avoid having to do it manually