update travis file for travis CI