rename ccextractor.h to lib_ccx.h 

and delete unused and incompatible header files
Tested changes in Willem TestSuite with 0.72 output and everything is green