Add "Close Other Documents" to documentcontextmenu

I find this very practical, and as the documentcontextmenu isn't
exactly crowded yet ...