Switched to ocamlbuild -> improve .gitignore.
Merge branch 'master' of github.com:nguyentito/mpri13

# Veuillez entrer un message de validation pour expliquer en quoi cette fusion est
# nécessaire, surtout si cela fusionne une branche amont mise à jour dans une branche de sujet.
#
# Les lignes commençant par '#' seront ignorées, et un message vide
# abandonne la validation.