Added the Coq sources for the extractor
Added README for the Extractor source.