Configure CI build for Travis-CI