Release 0.3.1, a maintenance version.

First release since migration to GitHub.