doc: Replace lyxcode environment with verbatim.

The lyxcode environment is basically a verbatim, but without the
automatic escaping. Switching to verbatim is nicer since you no longer
need to escape characters or insert non-breaking spaces.
doc: Remove some TeX style formatting.