GUI: la vue n'est plus remise à zéro lorsqu'on supprime un fichier.
Fixes issue #74.
GUI: la touche F5 lance l'action de vérification des pathes.
Fixes issue #73.