Show setup modal with confetti on coverage page when no CI data exists

Coverage dashboard used to show a tiny setup link when no CI data existed. Most users missed it. Now a modal pops up on page visit with a "Set Up" button that creates the CI workflow PR in one click. Archived and empty repos get a different message instead of a broken setup flow.