build: make, keep .c.i (pre-processed) C files for use with frama-c.