Library rt.restructuring.model.processor.ideal

First let us define the notion of an ideal schedule state, as done in Prosa so far: either a job is scheduled or the system is idle.