Updated Travis-CI configuration.