Make git diff not clear the screen when exiting
Change github-hosted submodules to https:// instead of git://