ci_check_travis: automatically fetch travis repos