Upgrade version.php for the 1.5 release.