Added a parser for SMTLIB2 (auto-generated from http://smtlib.cs.uiowa.edu/utilities.html)