Minor git usage fixes

Use HTTPS URLs and --recursive flag to simplify cloning.