Changed package named to protocols.

To reflect the change in effects implementation in 'Idris', this PR updates the package name from newprotocols to protocols. I thought I had already pushed this...