Use <picture> on frontpage

We could cut down our 3.5MB load a lot, especially on mobile, if we make images smaller when screens are less than 4K. https://developer.mozilla.org/en-US/docs/Web/HTML/Element/picture.

GitHub Actions come with Imagemagick installed, so we can script the generation of smaller formats from a single-high-res format in a particular pattern.