[Termtools] Termination Portal online

[Peter Schneider-Kamp]

Dear all,

a first version of the termination portal is online and can be tested at
the following (preliminary) address:

http://aprove.informatik.rwth-aachen.de/termination-portal/

You have to create an account (top-right corner) to add news,
persons, BibTeX references, tools, or just change pages.

Please tell me if you find any problems, are confused by the Wiki
syntax, or just have ideas for improvement.

Best regards,
Peter

P.S.: As a next step we should probably register termination-portal.org
       or a similar domain. Who is gonna do that?