Red-black tree demo

Based on code by John Franco, modified by Russ Ross to use the rebalancing algorithm found in Purely Functional Data Structures.