update travis CI configuration