Mise à jour

* Mise à jour de la version du jar fournie (produite à partir de la
dernière version des sources)
* Mise à jour du fichier de configuration fourni
* Mise à jour de l'exécutable fourni
* Ajouts des pages HTML qu'Eclipse ne veux pas commit
* Suppression de fichiers .gitignore inutiles