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

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