Temporary fix in cmake build scripts regarding the generator.
Temporary fix in cmake build scripts regarding the generator.

Removed mozartcore.hh from the list of headers to be processed
by the generator. mozartcore.hh is included by coreinterfaces.hh,
which must be processed too. So this does not impact correctness.

Having both of them was problematic for build dependency analysis,
and so make was doing too much work.

Eventually we'll have to fix that on a more thorough way, because
we *will* have interdependent headers that must be processed.

eregon/mozart2,mozart/mozart2,dianacgr/mozart2,avisparesearch/Mozart2,eregon/mozart2,layus/mozart2,Angeldude/mozart2,yjaradin/mozart2,yjaradin/mozart2,avisparesearch/Mozart2,Angeldude/mozart2,eregon/mozart2,yjaradin/mozart2,dianacgr/mozart2,layus/mozart2,mozart/mozart2,mozart/mozart2,dianacgr/mozart2,layus/mozart2,Angeldude/mozart2