Filename, process name and title bar do not match after rename or copy

If you copy-paste a process definition or rename the file in the workspace, the names shown on the diagram's tab (title bar) after opening and /or the name of the process in the XML no longer match, which, particularly with the title bar, can lead to confusion as to which diagram you are looking at. We should determine which name is considered leading and if / how to update when the user performs such an action. An option would be to hook into the refactor mechanism and / or perform a check with a prompt to update when opening diagrams.