Use #include <> for standard Cactus header files
Handle the case when CCTK_INT!=int

Replace some int[] by CCTK_INT[] where necessary.
Replace one CCTK_INT[] by int[].