Update Travis-CI config.