Delete splay.cc because duplicated from dynamic_tree.cc
Optimize dynamic_tree.