This PR adds a Travis CI configuration, and modifies the
install_software and run_all_tests scripts in such a way that
the Travis CI tests can run without compiling binaries.
Compiling is possible under Travis, but it takes a long time;
tests should be fast.
This PR adds a Travis CI configuration, and modifies the install_software and run_all_tests scripts in such a way that the Travis CI tests can run without compiling binaries.
Compiling is possible under Travis, but it takes a long time; tests should be fast.
Bugs were found and fixed.