Kill PyString_Encode(), which isn't used anywhere.

(We should also kill the other PyString_ encode/decode APIs, but they
still have some users.)