[PATCH 13x] fix lfun get-tip (bug 1781)

[Jean-Marc Lasgouttes]

The following patch fixes bug 1781, which is 1.3.x-only (since
server-get-tip has been removed in HEAD).

Committing now.

JMarc