Update default origin to be pushable

The previous origin required entering a GitHub username, which is
annoying. Changing it to this form allows us to use a private key.