using verbatim for grammar and samples

This resolves a lot of the issues that lstlistings introduces in the layout of
the text. Maybe it's time to write a replacement?