Add support for the Theories runner

This new release adds support for the Theories runner. This runner enables you to implement "theory" methods (a parameterized equivalent of standard "test" methods) and have them executed against defined data points. Theory methods can define assumptions that will skip inapplicable data points.

NOTES ABOUT THE THEORIES RUNNER:

• The granularity of run notifications for theory methods is per method, not per iteration as would be the case with other parameterized runners. This can be worked around via the events published by the MethodWatcher facility.
• Iteration of defined data points terminates upon encountering any failure, even if there are data points that have yet to be tested against the current theory.