Oar-properties generator: improve assignment of GPU ids to deal with removal of GPUs

added 7 commits

• 91b77621...8322396d - 2 commits from branch master
• 45e55ddc - [dev/oar-prop] Compute gpu_count over all nodes, not just the first one
• f94adf73 - [dev/oar-prop] Count GPUs on all nodes
• c612d347 - [dev/oar-prop] raise a message when invalid number of GPU ids
• 9cddb157 - [dev/oar-prop] Improve assignment of GPU ids
• a9f55ec8 - [spec] Add checks for removal/addition of GPU

Compare with previous version

added 10 commits

• a9f55ec8...6574d99b - 5 commits from branch master
• ed137771 - [dev/oar-prop] Compute gpu_count over all nodes, not just the first one
• ad90db0b - [dev/oar-prop] Count GPUs on all nodes
• 4cdc7880 - [dev/oar-prop] raise a message when invalid number of GPU ids
• 61a5b4bd - [dev/oar-prop] Improve assignment of GPU ids
• 54359159 - [spec] Add checks for removal/addition of GPU

Compare with previous version

merged

mentioned in commit cbff557b