cvc4terminate infinite loop fix
Fair datatype enumeration.
fix unit test for new fair datatype enumeration
Fix AIG bitblaster for unsat cores.
Finer-grained resource-limiting in quantifiers.
Clarify some licensing-related things.
Fix some configuration-related oddness.
Fix bv options doc.
Merge branch '1.4.x'