example text updates
Batch of changes and improvements:

    - WTableView: round non-integral widths (#2111)
    - WTableView: do not cause a redraw when removing rows
    - JWt: fix server push fallback in 2.5 with invisible updates rendering bug
    - WTableView: fix layout glitches
    - build: modifications to build scripts, for winstng
    - WTextEdit: make changed() work (if a bit too enthousiastic)
    - WText: implemented a setTextAlignment() function
    - WDialog: allow setting individual cover color (#1751)
    - WWidget::setToolTip(): when offsetParent is body, things need to
	be calculated differently (not really understanding why though?) (#1172)
    - Render::WTextRenderer improvements:
	* render cells with rowspan
	* implement HR in renderer
    	* implement border-width, border-color, ... separated out
    - Browser support: fixed IE10 detection