Ur/Web versions of demos from Hands-On Opa

A caution: some of the demos may require the latest working version, not just the latest released version, of Ur/Web to compile.