rework the OM software page

[kohlhase]

it is at https://www.openmath.org/software/index.html and is completely outdated. We should have a look at all the links and add any new ones we can find.

[kohlhase]

Is there any progress on this?

[kohlhase]

It would be good to have an overview over the current software