travis: Remove --batch and add --verbose_failures for debugging
travis: Remove --batch and add --verbose_failures for debugging

dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4