Bump version number to 3.02, with all the bugfixes.