Release 3.25.1, 2017-07-18
--------------------------
* The Gtef library has been renamed to Tepl, adapt the code accordingly.
* Use more Tepl features.
* Code maintenance to not use a deprecated GTK+ function.
* Translation updates.