[drmaa-wg] Definition of DRMAA_JOB_IDS_SESSION_ALL