Feature/andre/copyright 2020

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

const-fold floating point

Closes #579

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

otherwise, we might end up with an improper crash of cabs2cil

Actually we can't completely avoid typing the branch that won't be evaluated:
we need its type in order to convert the value of the other branch if needed.

apart from overflowing float-to-int conversions, they're not really useful

also minor refactoring of smart constructor for float constants

More or less needed if you want to use dynamically loaded plug-ins, for which
dependency tracking becomes more complicated.

[Headers] cleanning header spec file

Closes #816

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

This reverts commit 7dc7e69e.

[headers] cleaning header spec file

Closes #816

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

[ACSL] replace (T[size])(ptr) by *((T(*)[size])(ptr))

Closes #780

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

[Eva] evaluate logic function memchr_off

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

Only export them for the logic evalution by the cvalue domain.