For now I did not change the README to refer to opam. If you want, I can do that.
In the future, when you change the Iris version you depend on, you need to update the opam file accordingly to make CI happy. On the plus side, this means
make build-dep will work as well :D