Extract the contents of Coq object files.