git repo for the oboformat code developed at https://code.google.com/p/oboformat/ and its adaptation for OWLAPI 3.4.10 and newer