Gmsh: Implement fallback mirror for Gmsh download#152

kopperp wants to merge 2 commits into

mainhopr-framework/PyHOPE:mainfrom

feature.gmsh.fallbackhopr-framework/PyHOPE:feature.gmsh.fallbackCopy head branch name to clipboard