[Termtools] how to send updates

[Johannes Waldmann]

Dear all,

for updating your solver, the standard procedure is
to send a text formatted as shown on the registration page,
e.g.,
http://nfa.imn.htwk-leipzig.de/termcomp-devel/participant/Y2016/matchbox

If you want to be super nice, and have a github account,
you can instead clone https://github.com/jwaldmann/star-exec-presenter ,
edit your info at Presenter/Registration/Form_2016.hs ,
and send me a pull request.

- J.

PS: https://github.com/jwaldmann/star-exec-presenter/issues/97