Bug fixes for bounded integer quantification.  Current best strategy is to turn off MBQI.  Disable relevant triggers by default.
change options
bug fix
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
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