Files in tweetnacl/ of trunk

Files in directory /tweetnacl from the latest check-in of branch trunk