This commit updates the user manual to add wasm ghci subsection.

(cherry picked from commit 6ef5c0d2)
(cherry picked from commit 9b1259b9)