added solver support for oo specs
enabled solver support for oo in interpreter
changed test framework to use a printwriter for result compare such that a message can be issue describing the error
updated interpreter testing to use junit 4

removed support for single line expression testing
Merge branch 'origin/pvj/main'
assistant cleanup
cleaning up assistants and removing unused code that already have been migraded
test code cleanup and introduction of system property for generation instead of static change in code that has to manually be changed back to non generation
renamed test cases in the interpreter
updated the modelchecker with a better test structure
removed warnings
updated TC test framework to version 4
fixed #246 the numbers used for logging CPU declaration was just a number++ where as the bus decleration used the number assigned to a CPU resource when it was created.

The cpu decleration have been moved futher down in the initialization such that the declared id could be reported instead.
Merge commit '94def124c6317f3981f6fc927d84b42c0fa278d4' into symphony/development