Problem: we have some code in `examples/` and we want to make sure
that it's always correct.
Solution: make CI build that code and run tests which that code
contains.