[SMT-COMP] Updated participation information on the website

[Antti Hyvärinen]

Dear all,

I updated the web page participation information based on the
information we received.  Please check that everything is as it should
be and let me know if there are errors.  The page is

  https://smt-comp.github.io/participants.html

By clicking on the solver name you get some more details on the solver.

Cheers,
Antti