added hot keys for starting analyses (robustness, assertions, analysis config, loading results)
small clean-up
disable the run of 'make' before analyses