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

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