reorg of Coq sources