We should add CI testing to the project. Mostly for ourselves, but we can also use it for teaching in a longer class.