#618 Proposed name in refine action

[Laurent Voisin]

In the Event-B Explorer, if I select a component and click the refine action in its context menu (named "Refine" or "Extend"), then a pop-up window appears with a proposed name, which is always the name of the selected component with a "0" appended, even when the component name ends with a number.

When the name ends with a number, I would rather expect the number to be incremented by 1 in the proposed name.

[Laurent Voisin]

Similarly, if the name starts with a number, then increment that number, but retain possible left padding with zeros. E.g., the name 02-test would produce 03-test

[Son Hoang]

Just want to mention that we would like to keep the name of the projects and the machines/contexts to be proper identifiers, so that it can be identified with other mechanism, e.g., machine inclusion.

[Laurent Voisin]

Implemented in [f1976a].