[ LaTeX-backend ] Tweak agda.sty: saner default font (XITS), texttt
rather than mathtt for comments and strings, and change the font for
arguments...
[ LaTeX-backend ] Clean up after the fix of issue 1062, and properly end
the escaped commends for ~, ^ and \\ with {}.