added all our configuration settings (and some default values) to a parameters.dist.ini file for distribution