Introduce refresh tokens and expirable access tokens.

This supersedes #230.

I will explain what's going on in this PR later. I've gotta run now :-P
I'd rather not, since that would couple our business logic to the token generation algorithm.