Renames and dir changes.
Merge branch 'master' of github.com:jfdm/idris-protocol-examples
More examples