Add lablgtkosx-2.00

This library is not that useful but it is used by CoqIDE so it might deserve publication.