Handling Project ID Collisions

[mwu-tow]

General Summary

Steps to Reproduce

I wanted to split my project into two. So I've copied folder ~/enso/projects/Project, renamed it (both the directory and the name in package.yaml. Then I made some changes to the contents. (this was done by hand without IDE)

Then I started IDE and ordered it to open Project. However, it opened its copy (that was named differently).
After investigating the network log it turns out, that project manager is unable to tell these projects apart, as they have same ID.

Expected Result

Either fail and provide diagnostics or fix the issue behind the scenes by modifying one's project ID to be different.

Actual Result

Project manager provides multiple project with the same ID. Non-first ones cannot be opened in any way.

Enso Version

0.2.6 aec6129