Improved launch shortcut
also allowing run from transitively included specifications

Change-Id: Ide0daf42d95b9f3d586d55eee4458840018fa002
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>