Bump version to 7.2.0.rc4

Skipping rc3 because somebody (me) created a tag but did not bump the
version to rc3.