Move plugin configuration to config.inc.php.dist