VCFloat release 2.4.2

Compatible with MathComp 2.5-2.6 and Interval 4.11.4-4.11.5
Slightly improved Bplus_commut lemma.