added travis CI.