Bump version number for the 3.1 release.