Merge pull request #115 from jitlogic/dev1

Prepare 0.9.10 release.
Start new development iteration.
Fix: race condition in TraceBuilder exception handling code causes CCE.
Summary information in method search dialog. Search subtree option.
Fix: handle (potential) exceptions thrown from .toString() methods of various objects used in string formatters.
Fix: stop java Errors (as opposed to Exceptions) at spy processor level, not whole stage. Add users.properties to default zico distribution.