Check examples with opam instead of docker
The CI doesn't seem to work any more for checking examples. This seems to have something to do with the new Albert docker, and the entrypoint specification. In this MR I change the CI to use Albert from opam instead.
Edited by Arvid Jakobsson