Bug fix for QCF algorithm, was missing instantiations.  Make prop-eq the default QCF setting.  Bug fix to prevent non-ground terms from entering relevant domains.
--stats-every-query option: print increment in addition to cumulative value of each stat

the increment is printed in parantheses at the end, e.g.
sat::decisions, 100 (50)
Merge pull request #11 from kbansal/improve-stats-every-query

--stats-every-query option: print increment in addition to cumulative va...
rename kind::IN to kind::MEMBER (fixes some windows build conflicts)
theory/sets: cleanup
Merge pull request #12 from kbansal/in-to-member

rename the kind IN to MEMBER
a new regular expression engine for solving both positive and negative membership constraints
minor clean-up, bring back derivatives
add re.nostr for the empty regular expression; add re.allchar for the regular expresssion containing all charactors
Merge branch 'master' of github.com:tiliang/CVC4