Best practices: Configuration of settings.php on a development server