Read LaTeX from stdin

This obviously needs to be updated on the Hs side as well.