cvc4terminate infinite loop fix
Clarify some licensing-related things.
Fix some configuration-related oddness.
Fix bv options doc.
Merge branch '1.4.x'