Fix printing of EXISTS in CVC language printer
Fix bug 483: readline checks must come after Boost checks in configure
adding copy constructor for the datatype enumerator
fixes bug 484
SMT-LIB get-model output now is easier to machine-parse: contains (model...) bracketing
Fix an options-processing bug on some platforms (e.g., MacOS).
update ANTLR URLs (antlr.org -> antlr3.org)