RCP: 0.7.9, desactivate UI rebuild on startup

Currently, TXM rebuilds its TXM results editors on startu

As some editors may take a very long time to open: for example the ‘XML Editor’ can take a very long time to open an XML withtout end of lines.

The result is that TXM is perceived as not able to start.

Solution

* add a new boolean TXM preference dontRebuildResultEditorsOnStartup

(from redmine: issue id 2393, created on 2018/06/07 by Serge Heiden)