Importing improvements to Ur/Web Meta library
Upgrade Ur/Web version, and improve installer script to check that the right version is installed before skipping reinstall
Merge branch 'master' of https://github.com/achlipala/FrameworkBenchmarks into 1248

Conflicts:
	frameworks/Ur/urweb/install.sh