ITree: update dependency
ITree: update dependency

per DeepSpec/InteractionTrees@d408b9151f7f77d1ab0b8a0f2d57f210e16206ae

mattam82/coq-opam-archive,mattam82/coq-opam-archive,gmalecha/opam-coq-archive,mattam82/coq-opam-archive,gmalecha/opam-coq-archive,coq/opam-coq-archive,gmalecha/opam-coq-archive