wiring up Travis-CI