Create production.inidiff.dist (like development.ini.dist)
to allow server config of deployed checkout to be changed and pulls not to conflict