@augments tag: Inherited members correctly identify their origin

'inherits' tag is only written if it is empty. Before this change
all members inherited from the direct parent, even if it actually
came from a grandparent.
Merge pull request #422 from ErnstHaagsman/true-augments

@augments tag: Inherited members correctly identify their origin