Use https url for git submodule
Fail fast in install script