A Javascript library for parsing LaTeX logs