Gmsh dependency

Note that once this lands, the Firedrake webpage will need rebuilding.