Changed name of the Travis-CI Ant target.