Question: Latex: how to draw box around text that contains a verbatim block