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.
Merge pull request #541 from halide/update_nacl

Update nacl to pepper_39