Eliminate redirection warning for submodule
The url for the hyteg-operators submodule should end with .git, otherwise one gets a redirection warning when cloning/updating.
The url for the hyteg-operators submodule should end with .git, otherwise one gets a redirection warning when cloning/updating.