use travis CI.