Make the SMTLIB2 lexer interactive

Otherwise it can't easily be used over a pipe.