Travis-ci setup.