use ert-run-tests-batch-and-exit to preserve exit code for Travis

as originally reported in #65