These files have suffered from a lot of bitrot, and either don't work, or
don't work well. They also don't take gnupg into account at all.
Therefore I'm removing them from here, and in their place I've created a
new pine-pgp-filters port with totally new, and fully functional versions.