bramp Removed some debugging from the travis config.