(Promela) Added some actor level scheduling and an XML printer, the idea is that the promela program can make composed schedules to that XML file and also use it to find what schedules to look for.