Update tweetnacl source (remove <stdint.h>(