[RM plugin] Fix SLURM resource specification parsing. In previous
version strings like "c[0122,1004,1009,1011-1012,1016,1022-1023]"
wasn't supported. Dash in the middle of the list were not taken into
account. So "1011-1012" was considered as a node name.


git-svn-id: svn://svn.code.sf.net/p/dmtcp/code/trunk@2800 ba6dc0ae-232f-0410-883f-9ebac64fc565