Updating travis CI config file