An intern pool implementation, and associated serialization formats.
Test for Analysis split/merge.

Requires scalacheck generators for Analysis and its subobjects. These
may be useful for other tests in the future.

Also fixes a bug in RelationTest.
Merge remote-tracking branch 'benjy/internpool2' into 0.13
Merge remote-tracking branch 'benjy/analysis_test' into 0.13