fix(opensmt/parsers/smt2/smt2lexer.ll): add support unary minus '~'

close #17.