Batch File Editor

ajout d'un éditeur de fichier batch et de l'historique des ligne de
commande.