* splay-tree.h: New file.