Updating travis CI configuration file