Ur/Web compiler: new release, 20140426 -> 20140531
Merge pull request #2933 from ro6/master

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