exa2pro/starpu-max: porting work to Maxeler DFE @ 444461c75af41609e0ac5b7cdb7aa5e876fe7142

Samuel Thibault bf08b7ae24 document how to play with model checker		9 lat temu
..
Makefile	bf08b7ae24 document how to play with model checker	9 lat temu
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	9 lat temu
prio_list.c	6383fe8b36 Test a reasonably large case	9 lat temu
prio_list.sh.in	d8991796b2 Run model checking during make check	9 lat temu