A simple BDD Lexer for pygments