sha256 demo

This demo allows you to compute the sha256 sum using the verified implementation by Andrew Appel, compiled to Wasm using CertiCoq-Wasm. Only the actual computation is verified, encoding the input string and parsing the result have to be trusted.