rbtree: move augmented rbtree functionality to rbtree_augmented.h