travis decided to become useless, so we will delete the travis.yml as part of housekeeping in the next release.