Killing ext/ereg with fire!

This complements an earlier discussion on the mailing list to finally remove ereg altogether.