tightened up namespaces a bit.
Moved the tokenizing and pushback code into its own class.
Refactored to move more parsing code into the TruthTable so the blif doesn't have to worry about it. Also allowed the specification of don't cares as part of a truth table cover.