Pymacs (Emacs to Python interface): upgrade to 0.25