Use SSH URLs for cloning from GitHub

This will allow us to push stuff from work and result dirs back to
GitHub repos during the final compilation.