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.
Merge pull request #611 from yast/ssh-urls

Use SSH URLs for cloning from GitHub