coq-mathcomp-finmap release 1.3.1

Compatible with both mathcomp 1.8.0 and 1.9.0.
Order library has been updated using @pi8027 branch experiment/order of mathcomp.
All credits go to @pi8027 for this update.