Update ChangeLog and version files for 0.7.2