Persist the Github user-token.

See #2.

The doesn't cover the case of updating the user's user-token on login. Perhaps that will be needed later.