[PATCH 3/5] riched20: Move the marked paragraph list to a rbtree.