Added named datapoint(s) support to theories, for #65.

Also refactored tests for internal elements of theory code into a matching internal test package en route, to make the two package heirarchies correspond properly.
Refactored FromDataPoints functionality to use SpecificDataPointsSupplier as a normal ParameterSupplier, by allowing ParameterSuppliers to take TestClasses in their constructors.

Also added a simple parameter supplier test case, since it appears there weren't any at all until now.
Minor further refactoring of Theory ParameterSupplier setup
Various improvements to named datapoint support after review.

Mostly revolves around validation of theory class configuration and some reorganising and tidy up of bits of testing code.
Added JavaDoc to DataPoints and FromDataPoints
Added specific targetting for the various theory annotations
Merge pull request #631 from pimterry/add-target-to-datapoints

Added specific targetting for the various theory annotations
Improvements to DataPoints/FromDatapoints annotation javadoc
Added boolean assertArrayEquals
Added two simple tests for boolean assertArrayEquals
Changed exception signature for assignments reflective methods to support older Java versions
Merge pull request #632 from pimterry/booleanArrayEq-#86

Added boolean assertArrayEquals to Assert, fixing #86
Merge pull request #621 from pimterry/named-datapoints-#65

Added named datapoint(s) support to theories, fixing #65.