added process name to exceptions
improved redability of messages with tostring overridden
fixed issue with co-simulation where an exception was throws during disconnect. The problem was that the IDE terminated the native process once it reached FINISHED.

changes:
* added more unit tests
* fixed double reporting of status to the IDE
* implemented disconnect for the debugger such that the socket explicitly is closed when no longer used
* updated debug target such that it doesnt auto close processes that runs in co-sim mode
added dummy IDE that can be used at a replacement for the actual IDE. It only replies to the SETUP command and reads messages otherwise
added utility ant script to enable eclipse to run maven install on the interpreter and copy over the jar. This is more convinient and faster than the full maven way. (for development that required frequent changed in the code interpreter used in the IDE)
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
New changes in the model checker visitor.
Model checker dealing with minimal example of Insiel. Changed the output file name of Formula script.
close #191 renamed action Div to Diverge. The keyword div is already in used and it would be bad practise to have two different meanings to the same word.
fixed skipped test case in the interpreter
resolves #172

+ for operations that was missing the same kind of error reporting
fixed an issue where a unresolved type exception was thrown in the builder leading to no errors. The correct behaviour is to ignore the exception and collect all errors since the error already have been recorded by TC

close #194
corrected error in skipped test case in the interpreter
Merge branch 'origin/test'
out of date tc result
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Model checker handling Insiel's case study. More changes in the way the plugin generates the FORMULA and graph files.
Merge remote-tracking branch 'origin/acf' into alrd