updated test framework such that it reports the result when failing on no result file. Also added the actual result to the tostring of the result class.
updated solver integration with better support for Tokens and new support for quotes
added quote and token tests to the solver integration