Update to latest Ur/Web version
Merge pull request #1075 from achlipala/master

Ur/Web: Update version