Tag a new release 5.0.

There are still many outstanding patches / pull requests that deserve to
be in this release.  But instead of delaying a release any further, I'll
simply make a new minor release when I get around to go through these.

Fixes issue #239.