[Termtools] update your solver's description on starexec

[Johannes Waldmann]

Dear all,

I think we have all the solvers and benchmarks in place now.

As always, test runs are linked from
http://www.termination-portal.org/wiki/Termination_Competition_2016_Registration

I am now using TPDB-10.4 as compiled by Akihisa - thanks!

Please double-check everything.

And - please enter/update the description of your solver.
You edit the text on starexec, and it will be shown by my platform,
e.g. http://nfa.imn.htwk-leipzig.de/termcomp-devel/solvers/9354 (*)

- Johannes.

(*) starexec is quite picky about special chars
in the editor window. Bad luck if your url contains "-".
See also recent issues in http://starexec.lefora.com/forums/65