Use tblgenlexer pygments extension