Add Updates#61

suhr wants to merge 4 commits intoleanprover-community:masterleanprover-community/iris-lean:masterfrom

suhr:updatessuhr/iris-lean:updatesCopy head branch name to clipboard