demociphs.py creates demo ciphs in the new format