Update version.php for the 1.4 release.