- Remove the renaming of Frama-C built-ins in the injector since the
  code printer is now responsible for it;
- Explicitely add calls to `store_block` (resp. `delete_block`) when
  allocating (resp. deallocating) a VLA.

Remove unused labelled argument and simplify the function as a result.

it seems like part of the issue lies in the fact that the cache might be looked
at from different cwd. Anyways, proposing an absolute location can't hurt.

Also uses kind names as labels.