A simple ROT13 encoder/decoder