Rewrite of ToDo-lists.

TraceProof is not finished yet, also
some Display methods are not implemented yet.
Rewrote almost complete, some bugs left.
Added new functionality, changed syntax.

More Blueprints to come. Code needs some
cleanup. Tracking objects will become availible soon.
Rewirte complete, wait for proof tracking.
New Version number.
New functionality complete.

Some documentation for the Blueprints missing.
There is also no good view method for trees,
to see the results of the proof tracking.
Real Blueprints.
Documentation
Bugfixes etc.
Method for comparison can be added

to ToDoListEntries.