Update README to remove reference to strange agda-stdlib version 2.4.0.
Merge branch 'master' of github.com:pepijnkokke/SubstructuralLogicsInAgda

Don't know, I probably made some small changes to the README file on GitHub.