Use GitHub action for generating some profile stats

I like the look of this: https://github.com/theory/theory/blob/main/.github/workflows/profile.yml

(Yes, I know this repo isn't the right one to put this in, but it's where my brain will remember it.)