Log Message:
Update to 7.2, provided by David Forrai in PR 20539.
Many minor new features (at least nothing major struck me)
and lots of bug fixes (details: http://www.w3.org/Amaya/User/New.html).
pkg: now uses GTK instead of Motif.