Add lab4's red-black tree