Merge constraint logs into cvc4solver.cpp

Notice that only the CVC4 solver will write to the contraint log. Legacy solvers are not supported.

All sat/unknown/unsat constraint files are now moved into /tmp/constraints and an index of the files is emitted to /tmp/constraintindex - this is useful for our upstream SMT friends.

Fixes #100