LaTeX reader: Support alltt environment.

Closes  #892.