Set version number for 0.7.3 release.