NaCl extension for Jim TCL (using TweetNacl)