Ajout du plugin Local History

Le plugin Local History permet de gérer un historique local des fichiers modifiés.