Scala front end to Pygments