Added Cheriton-Tarjan MST algorithm and leftist binary trees