Added proxy setting in config.php-dist

There should be a proxy line by default in config.php