Fixing CoqEAL and fpmods to compile on top of ssreflect + mathcomp 1.5 release (+ parallelisation for ssr+mathcomp)