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

Cédric Augonnet fab6e0a48a Remove the --disable-priority option which is really useless (someone who do		15 years ago
..
Gantt	bca5400187 Monotonic clocks are used by default in FxT now and the option was removed from	15 years ago
Makefile.am	a3c1c62f7b doc: generate an unique file for html	15 years ago
starpu.css	b97421a2a2 doc: update style	15 years ago
starpu.texi	fab6e0a48a Remove the --disable-priority option which is really useless (someone who do	15 years ago