Always use DOM to find string widths

CodeMirror no longer has a concept of 'character width', since that
was just too broken -- tabs and non-ascii characters can have non-
standard widths, even in monospace fonts. We now build up a DOM
structure and measure its width whenever we have to determine the
width of something.