Generalize SMTLIB2 support for CVC4

Original patch from Matt Morehouse, but hand-applied and further
changes: seemingly missing options_solver changes, rename_var for
re-flipping counterexample variable names.
The -stp-path option is now -solver-path, though the old name is
still recognized.