Make TblgenLexer a pygments extension