Gmsh packaging for Debian/Ubuntu