Picat: added bus_scheduling_csplib, added and fixed some Martin Chlond problems and some other things
MiniZinc: added examination_scheduling.mzn and a CP version of sangraal problem