generalize a number of core definitions and facts

Generalize:

- `preemption_time`
- priority compliance
- priority facts
- task_schedule.v

... to work with any processor model (and not just ideal
uniprocessors).

Closes: #78