Python splay tree