Bump for 0.4 release.

Previous v0.3 was accidentally the same as v0.2, because I only
`git push --tags` thinking it would push everything *and* tags.
As it turns out, I only pushed the tag.