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.