* main_test.ml: fail hard
* travis-ci.sh: