Iris as submodule; CI support

This adds Iris as a submodule, matching the structure in https://gitlab.mpi-sws.org/FP/LambdaRust-coq/. Furthermore, it sets up the CI so after pushing, the repo is built against the given Iris version (with a cache to avoid needless rebuilding of Iris).

@zhangz if you have any unpushed changes, please push them. This branch moves all files to a subfolder theories/, so it will conflict with any other change.

Added 1 commit:

• a787e870 - remove no unneecssary IRIS_VERSION

Compare with previous version

Added 1 commit:

• 541920fb - remove now unnecessary IRIS_VERSION

Compare with previous version

It looks good, thanks a lot. BTW, why named theories?

That seems to be a common name in the Coq community.

$ find -name theories
./coq/theories
./autosubst/theories
./unicoq/theories

So I figured I'd follow the convention.

Mentioned in commit 7c6793f3

Status changed to merged