Notify CodeMirror when a widget's height changes

@njx Fix for #2491

Use ``LineWidget.changed()`` instead of ``codeMirror.refresh()`` to update the display when a widget height changes.

Note: If the line is above the viewport, ``addInlineWidget``'s ``scrollLineIntoView`` parameter appears to have no effect. This is due to a new issue #2515.