Migrate JobIDArray to JobIdMap and kill indices in facilities

Change the job id array type to dictionary of string to set of number.
Use IDs in the listings and kill index-based functions in the facility
classes.