Update nacl to pepper_39

This allows for vectorization (as long as the bit-width stays at 128)

Also removed HelloNacl app, because it's a strict subset of nacl_demos,
and not meaningfully simpler.