Ajout d'un plugin pour l'autocompletion du html5 et la coloration