Unreviewed. Update OptionsGTK.cmake and NEWS for 2.7.1 release.