Update Travis-CI configuration.