Bump the version number to alpha for 7.2.0.