reporegistry: paths should be editable
Created originally on Bitbucket by johansamyn (Johan Samyn)
I had moved some repos from withoin Explorer, and then they obviously were reported missing when restarting the Workbench. So I had to first remove the repos from the reporegistry, and then add them again from the new locations. I think it would be convenient if we could edit the path in the reporegistry, and the workbench would then refresh any repotab(s) that was linked to that repo.