Ajout procédure d'install Linux Mint
modification épaisseur fond (19 mm)
début doc d'install sous linux
bump version
changement de  version de 3.0 à 3.1 pour Vrui
first compilation