fix for hiding prompt/header in shell, error-behavior options as in SMTLIB
Merge branch 'master' of https://github.com/CVC4/CVC4