Files in tweetnacl/src/ of trunk

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