Merged requested to merge koa-upgrade into main
This PR makes us ready for using Koa. The build-images script includes steps for enabling Figures, provided that you use the following fork and version of the tutor-figures plugin:
(instructions are also added to the README)
This MR also removes a bunch of extra files that are generated by Tutor and we probably don't want to have in the repository.