Issue #5: Make Travis CI use the new test framework.