added support for verbatim arguments; toLatex(): fixed rendering of verbatim environment