_scheduler: Fix bookkeeping of terminated jobs

• Enhanced the base Job class to bookkeep which jobs have been terminated, and to consider them as skipped when asked via the skipped property.

• Enhanced the base Queue class to bookkeep the job statuses more carefully.

This fixes #479 (closed)