Allow short GitHub-ish repo names to be given instead of full URLs for ‘repo-‘ commands

- non-GitHub URLs pass through unmodified
- ‘user/reciperepo’ expands to ‘https://github.com/user/reciperepo'
- ‘reciperepo’ expands to 'https://github.com/autopkg/reciperepo'