exa2pro/starpu-max: porting work to Maxeler DFE @ 6379d505112fd3a4eed1be1bc1df3a48cc650baa

Samuel Thibault b5d53106f7 Fix build with old simgrids		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	b5d53106f7 Fix build with old simgrids	9 lat temu
prio_list.sh.in	d8991796b2 Run model checking during make check	9 lat temu