Attempt at introducing a binary save (rather than a bytestring one).  writeFile was ok but readFile is more difficult due to Data.Binary requiring lazy bytestrings, when Pipes.ByteString uses strict ones.