Ur/Web compiler: new release, 20130421 -> 20140426

Simple version bump. Didn't do extensive testing, but still seems to work as before.