Fixed bugs in the debugger, added a new warning and a new error.
Fixed a bug in the debugger that could cause the corruption of a state
due to unsynchronized thread access.
Fixed a bug in the update view that could cause updates to show up
multiple times.
Removed double logging of a warning in HashStorage.
The SlimEngine now also provides a Specification.
Added function/universe comments to the the hover informations.
Added a warning and an error checking if the number of arguments matches
the signature.


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