Rename the local Protocol.Core module to Protocol.CoreOld
as a temporary step
README: mention crypto-agda/protocols
Remove unused and old protocols implems
Add Language.Simple.Free