Bump the version number to 0.25.