Added instructions to redBlackTreePRO