Fixed Z3 install process to correct problem with z3++.h.
Added extra printing at the beginning of the IC3 run.
Fixed sign bug in conjoin.