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