Switch from compiled.h to gap_all.h

This is the preferred header since GAP 4.12 (which this package
requires anyway).

Author: fingolfin

src/CddInterface.c

@@ -2,7 +2,7 @@
  * CddInterface: Gap interface to Cdd package
  */
 
-#include "compiled.h" // GAP headers
+#include "gap_all.h" // GAP headers
 #include "config.h"
 
 #if HAVE_CDDLIB_SETOPER_H == 1