Update Travis CI support to use AllTests.php script