Preparation for SpiderMonkey 102
This consists of all the changes that will be required / convenient for SpiderMonkey 102, but that we can do before making the switch. They are split out of !765 (merged).
It also adds CI jobs that build Docker images with mozjs102 in them, so that we can run the CI on !765 (merged).