Semi-automatic documentation of an implemented linguistic grammar augmented with a treebank