update for more general saved_prop

This is the iris-examples side of https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/76

changed the description

added 5 commits

• 4130ea02...e45c694b - 4 commits from branch master
• 4a86a6af - update for generalized saved_prop in Iris

Compare with previous version

added 3 commits

• 322cef94 - 1 commit from branch master
• 51593b4a - Merge remote-tracking branch 'origin/master' into ralf/saved_prop
• 39ed59b0 - bump Iris

Compare with previous version

unmarked as a Work In Progress

mentioned in commit 9de17fa7

merged

mentioned in commit 8d5768cb