(blind make headers from specifications)

Instead, plugins requirements should be automatically added to the .merlin file.

`configure` should not be bothered with defining macros for generating
`transitioning.ml`. This belongs to `Makefile.generating`

`Stack.fold` didn't exist back then 

Also update comments of `transitioning.mli` to reflect reality

also put the target into `Makefile.generating`.

Use of Frama-C's Makefile WARNINGS variable through Config and hardcoded
disable of warning-errors.

Changes on Kernel:
[Config]: - 'ocaml_wflags' exposes warning flags used by ocamlc and
ocamlopt when compiling Frama-C.

Use a wrapper for frama-c-config, like existing ones for frama-c/frama-c-gui.

Boris Yakobowski authored 7 years ago and Virgile Prevosto committed 7 years ago

Remove it. Even better since is presence caused race conditions in
the compilation process

`Makefile.kernel` is only needed in external compilation mode, and
even there, for static linking only, an obsolete and
soon-to-be-removed compilation target. Moreover, including it
unconditionally trigger race conditions in internal mode.

if CPP is set at runtime, we do not assume that it has options to keep
comments. Moreover, if CPP + default args (`-C -I.`) is equal to the
default computed at compile time, we use the appropriate flags for
`is_gnu_like` and `keep_comments`

- Extend machdep information to include required CPP arguments (p.ex. -m32);
- Check supported architecture options during configure;
- Automatically apply options according to chosen machdep.

Note: this may generate extra warnings when using old versions of GCC or
compilers that do not support options -m32/-m64 and similar.

When calling makefile functions, whitespace after commas can lead
to unexpected results (especially for the 'call' function, see
www.gnu.org/software/make/manual/html_node/Call-Function.html#Call-Function).
Some of the changes in this commit are unnecessary,
but providing a more uniform style should prevent future bugs similar to #130.

Includes the master branch of Frama-C and
faetuare/lib-added-features.

           They can still be refined by $(FRAMAC_USER_MERLIN_FLAGS)

less confusion with toplevel or non-gui targets

        in config.ml

Only print something when the file must be updated. (Which is done
by CP_IF_DIFF itself)

Yet another bite from the beb(*)
(*) breaking-everything-branch