Activation de la documentation pour le build debian 9 et récupération du numéro de version depuis un git describe
