fix github redirects breaking submodule updates by switching to https url