add service worker

I’ve experimented with Workbox a bit but I am not confident enough yet to be sure that I won’t completely and irreversively destroy the site with it, if I do some silly thing.

This is important though to set the site up for becoming a PWA.