rbtree.c: add rb_delete_max