change options
bug fix
Bug fixes for bounded integer quantification.  Current best strategy is to turn off MBQI.  Disable relevant triggers by default.
Adds the header file into makefile, solving building error; adds cache for derivative; disables loop detection when finite model finding is enabled.
Flatten libcvc4 build structure; remove some #include interdependences
Minor fixups to last commit
Fix "make distclean", which should fix some of the build issues from last night
Merge branch 'master' of https://github.com/CVC4/CVC4
Merge branch 'master' of https://github.com/CVC4/CVC4
length lemma is changed, var-split lemma is changed