Update Git repositories to use HTTPS protocol instead of git:// because bootstrap.sh won't clone the repos (not sure why the git protocol does not work with GitHub)
APPSCALE_REPO="https://github.com/AppScale/appscale.git"
APPSCALE_TOOLS_REPO="https://github.com/AppScale/appscale-tools.git"
AGENTS_REPO="https://github.com/AppScale/appscale-agents.git"
THIRDPARTIES_REPO="https://github.com/AppScale/appscale-thirdparties.git"