link-used-types: better debugging printout.
test/Makefile: force _GNU_SOURCE since any test including liballocs.h must define it.
Use CIL plugins system. Update crunchcc accordingly. Add sensible behaviour for pointers equal to -1.