moved IsabelleImages to ui.internal package
ported IsabelleUIPlugin to Scala and moved to ui.internal package
moved hyperlinks classes to a separate package
Merge branch 'ui-plugin-refactor'
better sendback text replacement: when "padding" is required, either put before or after the current line, never in the middle