0.9.1 release of CoqEAL (in order to compile with ssr+mathcomp 1.5 release)
enabling parallelisation on mathcomp + ssr
configurable parallelisation in CoqEAL
update fpmods
Merge pull request #11 from Barbichu/master

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