Fix tokenization of "reset" in SMT-LIB v2.0.  It's a reserved word only in 2.5.