chat about thread creation
initialize variables
sets cvc printer
sets cvc parser
reorganize friendlyparser, behavior unchanged
friendlyparser: go back upto 2 words looking for match
Merge remote-tracking branch 'origin/master' into segfaultfix
membership cvc token changed to `IS_IN' to avoid conflict with IN used for let
rm warning
Merge pull request #49 from kbansal/cvcparser

Cvcparser
Merge pull request #48 from kbansal/segfaultfix

Segfaultfix
fix for windows build
Spelling.
Fix a bug in Boolean terms and arrays.  Thanks to Jean-Christophe Filliatre for the report.
Status for new bug testcase.
Cutting release 1.4.
New versioning for development version.
Versioning for master.
implement TheorySets::getEqualityStatus()