ajoute un script pour Travis-CI