adding happygui-html5