License update#335

ehildenb wants to merge 4 commits intomasterruntimeverification/iele-semantics:masterfrom

license-updateruntimeverification/iele-semantics:license-updateCopy head branch name to clipboard