Inclusion of managed NaCl crypto code from oss.ucis.nl/nacl