Change data structure used to track rendered lines

Simplifies updateDisplay, remove lineObj property on DOM nodes.

Prepares the way for smarter updating, and maybe smarter measuring.

Breaks updating of lines without redrawing their widgets (which I
intend to implement in a better way in a subsequent patch).
Stop adding `alignable` and `lineNumber` properties to DOM nodes
Fix bug in moveV