possiblity to specify paths to gdb, make and gcc
polished DesktopPlatform's editor
possibility to specify path to gdb via BuildConfig
platform provides debugger config
fixed mbeddr build script
tool paths can now contain macros
User Guide now describes how to set new properties in DesktopPlatform
migrated build configs
Merge branch 'master' into feature/ToolLocationsInPlatform
missing tool/makefile caused debugger/run dialog to freeze
deleted make disabling from analysis
fixed broken debugger test
deleted minimal mps build script
DesktopPlatformTemplate now reuires tools on the PATH
Merge branch 'feature/ToolLocationsInPlatform'

Conflicts:
	code/languages/com.mbeddr.analyses/tests/test.analyses.cbmc.testcode/models/advanced_verification_condition.mps