openmath bibliography ends in 2000

[kohlhase]

if we have one (and I think we should), it should be generated from the bibTeX and also show the bibtex, so that people can cite OpenMath.
We should also have bibliographies of all the OpenMath workshops.