Accept https://github.com/user/repo URL on the CLI too.

It's now possible to just copy paste any github repository URL to add an
extension from the command line too, with the `extension add` command.