PATCH: Fix integrt/pointer size mismatch in splay-tree.h

[Kai Tietz]

Hallo,

I detected, that ptrdiff_t is not declared in all places, therefore the 
use of size_t seems to be more correct.

Regards,
 i.A. Kai Tietz