Try to get travis to install cvc4 [5]
Support cvc4
Enable the test suite again
Use new unification-fd
Update README