We will not use travis at this moment, so delete it