[SMT-LIB] new release of SMT-LIB 2 document

[Cesare Tinelli]

Hi all,

A new release of the Version 2.0 reference document has been posted in the Documents section of www.smtlib.org.

This is a minor release, fixing a number errors, clarifying the text in a few points, and adjusting the standard in minor ways. 

**These fixes might require minor adjustments to parsers of SMT-LIB 2 scripts.**

Please see the associated change log file for more details.


Special thanks to Trevor Alexander, David Cok, and Jochen Hoenicke for feedback that led to some of the improvements in this release.  

Best,


Cesare (also for Aaron and Clark)