Files in build/tweetnacl/ of trunk

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