Remove unnecessary project tree refresh after save as

Fixes #6499.

Also back out some code from #6382 where we incorrectly try to restore the tree selection using the working set selection (current document) instead of the file tree. This fix alone would also fix the bug, but now that we have file watchers, the call to `ProjectManager.refreshFileTree` becomes obsolete.