red-black-tree.cc: add right rotate