pygments2json.py: split all kinds of tokens on newline.
Styling tweaks; add footer.