Ensure that volume IDs are unique

[gertvanhoey]

Fixes #655

The format of "PreStepUniqueVolumeID" is now <volume name>-<volume copy numbers>. A - has been chosen as separator, because _ may be confusing if the <volume name> ends with a number (e.g. in case of volume repetition).

The test that was added has the following output:

4 volumes have been hit: {'crystal_no_repeat2-0_0', 'crystal_repeat_rep_0-0_0', 'crystal_no_repeat1-0_0', 'crystal_repeat_rep_1-0_1'}

In GateUniqueVolumeIDManager, the map uses the combination of name and numbers (ID array) as a key to make sure each volume has unique key.

[dsarrut]

Excellent Gert, thanks a lot! There is still one failed job, I dont understand why, but it is not related to your changes. I will investigate ...
Maybe related to #664

[gertvanhoey]

Happy to be able to contribute! Concerning the failed test, I've seen this in my previous PR too. It was not the same job that failed, but it was also one job out of all the test jobs.