Web IDE: remove need for `file.url` with `goToFileUrl` action
Description
In the Web IDE, currently the path, name, project, and branch of the file are duplicated in a file.url
property. It turns out that this URL is only used to trigger the router, so let's just handle building this URL in an action that handles this.
Edited by Himanshu Kapoor