Update wrong solution for test/tof.tex
Use a stream with extension .chk and not .tex.chk
Improve some comments in chkparser
Make the parser output prettier