Change SMT-EVAL run-script to use Tim's best QF_LRA command-line parameters