Update version.php for the 3.2 release.