jenkins_integration: stage_all should use ALL_PATHS, not REPOS