Updated Travis-CI configuration file