Red-black trees 4 - Move RBTree stuff to its own file

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>