Add interface file for litmus CLexer (now shared with herd and in lib/)