[Makefile] replace shell scripts with more efficient OCaml-based ones

See merge request frama-c/frama-c!3283

No need to duplicate filenames in two variables.

[Eva] Minor simplifications following the rewriting of Hptmap shapes.

See merge request frama-c/frama-c!3298

[Variadic] Fix a bug where a specification were generated for a variable without a name

Closes #1060

See merge request frama-c/frama-c!3277

[Ivette] New columns in the property table for "red" alarms and tainted properties

See merge request frama-c/frama-c!3286

most differences in Eva oracles come from the fact that now anonymous arguments are taken into
account when generating default assigns for prototypes with empty specs.

Not sure this is really conforming to C standard, but gcc accepts that anyways