Allow renaming documents by clicking on the document tab

[TrueDoctor]

This task will be done by @Keavon and it isn't open to community contributions because of some subtle trickiness involved.

It should be possible to rename a document by double-clicking the tab and renaming it in place