High Performance Client-Side Web Programming with SPOC and Js_of_ocaml