finmap release 1.4.0

This release is solely an update of order.v and set.v in order to integrate the changes in math-comp/math-comp#270.
It is compatible with mathcomp 1.8.0, 1.9.0 and 1.10.0.