SpecNode: add action to summarize the results

The #summarize action reduces the results (and reasons) to the most
meaningful one, and returns a new SpecNode, so that the original is
preserved.
SuiteResult: allow traversal of contexts/examples
XMLReporter: refactor the report creation

Change the name of tests reported to include context information.