Change the Math submodule checkout url to HTTPS