bundle Isabelle fonts in the plug-in and load them programmatically if not available
load Isabelle font upon plugin startup

Otherwise editors can get initialised with the incorrect font
Merge branch 'load-fonts'