Python documentation

[David Nolden]

Why the database? I think, it wouldn't be a big problem to wait 0.5
seconds until the tooltip has some content. We could show some
progress-indicator in the tooltip to show that it's computing the
info. I think that would be much nicer than one more database which
_we_ would have to maintain. It would also be very fast and easy to
cache, say, the last 100 queries at runtime.

I guess it would also be possible to speed up the pydoc thing a lot,
by keeping the pydoc instance running for some time, and only shutting
it down when no documentation was requested for a minute or so.

Greetings, David