Use CVC4 dump-models option

[BenSpencer]

Using the --dump-models option instead of calling (get-model) would allow us to remove some of the tricky cases in the solution reading code where we currently can't distinguish an error or unsat response easily.