Ur/Web: switch to HTML5 output