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

Samuel Thibault d8991796b2 Run model checking during make check		8 éve
..
Makefile	580d61dae1 don't enable state reduction by default, it's too costly	8 éve
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	8 éve
prio_list.c	5339d76f3a Prevent random number generation from diverging, by making threads always get the same values	8 éve
prio_list.sh.in	d8991796b2 Run model checking during make check	8 éve