[TextEditor] API of the AVL tree is now more compatible to the old
one.
[TextEditor] Segment tree is now using the avl implementation.
[TextEditor] Height tree uses now the avl tree implementation.
Bump nrefactory.