Merged recent updates to oboformat code

Squash of three commits on oboformat by Heiko Dietze
fix outdated test