doc(lua): add link to wikipedia splay tree page

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>