Remove documentation widget.

It is not working (and won't work for some time). The main functionality
is already provided by the scripting API side panel and a proper
replacement for this extra handbook view.