gui.py: ajout d'une fct changeTabEvent, qui fait qq traitements quand
l'onglet principal perd ou gagne le focus.
Ajout d'un petit hack à la fin du module pour tuer tous les subprocesses
créés par le programme au moment de la fermeture. Ça permet de tuer tous
les threads qui tournent toujours.