fix(opensmt/parsers/smt2/smt2lexer.ll): support dos-style newline

close #16.