Move Travis-CI setup inside run-ci so it can be skipped if unneeded