Add -smtlib-batch support for CVC4 and Boolector