cipherpickle.py: cipherlib.py was merged into this.