Add last updated time. Break out GSOC PRs.

[delucchi-cmu]

Adds a "last updated" time to the top of the page, and some customizable links (similar to footer of the workflow dash).

Breaks out the GSOC PRs, since I think they're going to get more numerous in the next few weeks.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 71.00%. Comparing base (2f42bbb) to head (5912e14).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main      #89   +/-   ##
=======================================
  Coverage   71.00%   71.00%           
=======================================
  Files           6        6           
  Lines         200      200           
=======================================
  Hits          142      142           
  Misses         58       58           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.