MAJ devtools
    corrections mineures dans create_package.sh
    ajout du script update_repository,sh, permettant de creer un depot
    en utilisant le format "a la github" sans avoir a passer par
    github (trop instable et trop lent pour cette utilisation)