(Promela backend) Added scheduling model for promela. This is used for describing what information is needed when a partition is to be scheduled.
(Promela backend) Set the backend to build the scheduling model.
Merge branch 'master' of https://github.com/orcc/orcc
(Promela) Scheduling model initial implementation