xforms: The XForms graphical interface widget library