[Termtools] demonstration sections done

[Johannes Waldmann]

Dear all,

This was going much quicker than I expected:
the demonstration categories are already done.

    http://nfa.imn.htwk-leipzig.de/termcomp/competition/23

I guess mainly because most proof attempts failed quickly
(in the categories with many benchmarks, e.g., deriv. complex.)

- Johannes.