Release v2.5.0

This version simplifies the handling of personal wordlists. End-users should
not notice much difference, but internally the code has been considerably
simplified.

There are minor internal API changes, and one deprecation in the public API;
see NEWS for more details.