Added PNaCl backend and made the HelloNaCl app use it.

It turns out to just be a matter of generating a bitcode file with the
right target triple and data layout.
Don't vectorize assert statements (now that they take varargs)