Added the lemmas we needed for my work, and fixed the CI workflow on github actions#8

lexbailey wants to merge 3 commits intoisabelle-utp:masterisabelle-utp/interaction-trees:masterfrom

lexbailey:masterlexbailey/interaction-trees:masterCopy head branch name to clipboard