GroundedSchemeNode: add an 'exclusive' predicate.
Atom: add sanity check code.
EinsteinUTest: Fix the debug printing code.
virtual links: bug fix for cleanup.
EinsteinUTest: use the exclusive rule.
EinsteinUTest: fix the by-elimination rule
Extended by-elimination rule.
More elimination rules.
More by-elimination rules
EinsteinUTet: add some debug printing
selectionUTest: minor bug-fix.
Added documentation
Provide extensive documentation.

The code itself is a bit opaque, so the documentation is needed.
MOSES: Updated man page.
Moses: selection scorer fixes
Moses: boosting bug fix; must rescore metapop after each weight change.
bugfix: score caching during boosting was messing up optimization.
Moses: boost debug printing fix.
moses: fix up the selection unit test
very small fix