A Pygments formatter that outputs ConTeXt 'verbatim' code