Tweak to .travis.yml to use Ant