code nav usability: double-click to open and right-click to rename

This makes the behavior of the code nav more consistent with file managers.  The right-click to rename thing is a bit nasty.  We should do it via a context menu.  But I think it's fine for now.