Replace dependency ciaodbg_extra by profilercc (when needed)

Src-commit: c5f1362417e5b6baf98a817a2fb7fd65d1f2d264

Author: jfmc

Manifest/Manifest.pl

@@ -4,7 +4,7 @@
 depends([
     core,
     typeslib,
-    ciaodbg_extra-[optional], 
+    profilercc-[optional], 
     ciaopp_testgen-[optional],
     ciao_ppl-[optional], % (optional for polyhedra, numerical constraints, etc.)
     ciao_gsl-[optional], % TODO: remove once ciaopp dep is explicit