Change the license to MIT#24

laumann merged 2 commits intomasterMunksgaard/session-types:masterfrom

change-licenseMunksgaard/session-types:change-licenseCopy head branch name to clipboard