typeset.py - convert xml to json