HTML checkbox widget

This adds a very simple checkbox widget to the HTML library.  Its only ability is a double-binding on its "checked" property.