Merged SampleCollector & MCMCSummary classes; added method to set top hypotheses in summary.
Re-organized SimpleDemo by putting some functions into methods in Utilities or Vector/MCMCSummary.
Added SimpleDemo2 - more complex than SimpleDemo, with infinite hypothesis space (generate by enumerate_at_depth).