Added Markers for runtime problems (warnings/errors), minor improvements
Errors and warnings that occur when a specification is run will cause
markers to be created.
Improved the way the debugger retrieves specname and linenumber
Fixed a bug with the ReturnUndefWarning

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