Swap import of Peano and Utf8 to ensure that Utf8 notations are preferred.

Coq PR #12950, among others changes, gives to import the effect of reactivating the imported notations.

This has an impact for stdpp, e.g. on printing le n m as either m <= n or m ≤ n, due to the order of imports between Utf8.v and Peano.v in base.v.

The Coq PR is still at the beginning of a process of discussion but the change to stdpp is backward compatible (as far as I can judge) and it should be safe to merge it anyway.

theories/base.v

@@ -6,7 +6,9 @@ structures. *)
 (* We want to ensure that [le] and [lt] refer to operations on [nat].
 These two functions being defined both in [Coq.Bool] and in [Coq.Peano],
 we must export [Coq.Peano] later than any export of [Coq.Bool]. *)
-From Coq Require Export Morphisms RelationClasses List Bool Utf8 Setoid Peano.
+(* We also want to ensure that notations from [Coq.Utf8] take precedence
+over the ones of [Coq.Peano] (see Coq PR#12950), so we import [Utf8] last. *)
+From Coq Require Export Morphisms RelationClasses List Bool Setoid Peano Utf8.
 From Coq Require Import Permutation.
 Set Default Proof Using "Type".
 Export ListNotations.