Improved the red-black tree to dot script, so that it's OK to have duplicated key values, and simplified for leaf node.