Don't forget to install agda-ffi
Merge branch 'EJCP' into EJCP-solutions