fetch keys like gh.com/user.keys

If last time_us is older than a week, we discard it and start over.
This also refreshes the saved last time_us in the database.