Port WidgetOps.addWidgetToMaps to JavaScript: widgetOps.storeWidget()

Seems to work properly, so I will begin to phase out XMLWidgets and
hopefully eliminate the need for the Java class WidgetOps.