Use lhs2tex for code and verbatim formatting