ROT13 encoder/decoder written in Python.