swift234

Refine instructions for checking out sources.

For those looking for a direct way to check out sources without
needing to upload SSH keys to GitHub, provide checkouts using https.

For those who likely will be doing direct commits and have their
SSH keys uploaded to GitHub, provide URLs for cloning over SSH.