updating travis CI file