Print job array ID in email notifications

mail messages for job array events print now use the job ID using the
format "#_# (#)" rather than just the internal job ID.