Update config.ini.
Merge branch 'master' of https://github.com/CosyVerif/server
Merge.
Merge branch 'master' of https://github.com/CosyVerif/server
Add configuration files to the phar.
Allow to run using the phar.