Keep the same package name

[CohenCyril]

odd-order/opam

Line 2 in f8e55e0

name: "coq-odd_order"

I think this renaming can pose problems.