Bump version, since 0.25 is out.