core: enhanced Desktop platform to enable users to specify linker ind…

…ependently of compiler

core: improved editing experience for parallel processes property of …

…DesktopPlatform

core: removed another source of recurrent "no binary found in model "…

… + model.name + "; not generating any code" warnings filling up build logs without providing much of added value

mpsutil: fixed mistake in UnitTestRunner::process_test_case_exit_stat…

…us() function

build: fixed broken build script

all: ran outstanding migrations

analyses.cbmc: fixing a test

TabbedDocViewer: add workaround for MPS-30286

mpsutil: show XML import action only if xml lang is used

Replace uses of string meta-object with SProperty/SReferenceLink