Mise à jour de mes outils sous Ubuntu20.04

Suite au passage à Ubuntu 20.04, des modifications ont été nécessaires.

Pour Metapost, le fichier de coloration syntaxique est désormais dans le dossier ./local/share/gtksourceview-4/languague-specs/. Voir ici.

Pour Professor, une modification du paquet pro-tablor.sty a été nécessaire. Vous le trouverez ici.

Enfin, ProfessorGUI a besoin de nouveaux paquets Python. Voir ici.