SHA-256 demo

This demo allows computing the SHA-256 sum using a slightly modified version of the provably correct implementation in Coq. This Coq program was compiled to a WebAssembly module that is run directly in the browser.