Using aggregation instead of inheritance for StdName and Variable.

Probably both versions are equivalent.
Boost uses aggregation.
Fixed cpplint warnings.
Added unit test for clause subsumption.
Learned about STL debug define.

Defining _GLIBCXX_DEBUG earlier would have saved a few hours.
Moved UnifySeq() to class Term.