Move coq/Peano.v into coq/Peano/Peano.v