Update INSTALL

Use https instead of git for git installation