Travis-CI setup.