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.
Merge pull request #8 from sebasguts/master

Two rewrites of ToDoLists.