Unreviewed. Update OptionsGTK.cmake and NEWS for 2.25.1 release