Release/argon

See merge request frama-c/e-acsl!273

sync with frama-c!2073

See merge request frama-c/e-acsl!266

[e-acsl-gcc] -rte-precond does not exist anymore

See merge request frama-c/e-acsl!268

Merge branch 'fix/andre/typos' into 'master'

See merge request frama-c/e-acsl!272

Revert "Merge branch 'fix/andre/typos' into 'master'"

See merge request frama-c/e-acsl!271

fix several typos in comments

See merge request frama-c/e-acsl!270

(cherry picked from commit d8f5df30cd3ad9b43f2e3dfd717ff202ce261af3)

e41fc4c0 fix several typos in comments

This reverts merge request !270

Fixes a typo in comments.

See merge request frama-c/e-acsl!269

fix several typos in comments

See merge request frama-c/e-acsl!270

Fixes Issue 69: unsound translation when bounds for quantified variables are bigger than their types

Memory initialization for constructors

See merge request frama-c/e-acsl!265

 - Safe locations are ok but need to increase TLS to 32 Mo for the libxml usecase
 - Fix order of operations during memory initialization
 - TODO: memory allocated before main are not seen as being valid

 - safe locations (standard streams)
 - memory operations other than malloc that require memory_init to be called beforehand
 - bittree model

[lint] OK/KO status for e-acsl sources

See merge request frama-c/e-acsl!214

Include .h headers in tests directories for distribution

See merge request frama-c/e-acsl!264

- fix tests/format/fprintf.c test which requires signalled.h

Adds the Argon header to the Changelog.

See merge request frama-c/e-acsl!263

Sets VERSION for Argon

See merge request frama-c/e-acsl!262

sync with frama-c!2018

See merge request frama-c/e-acsl!252

fix test oracles

See merge request frama-c/e-acsl!261

sync with frama-c/frama-c!1873

See merge request frama-c/e-acsl!242

synchronisation with frama-c!2038

See merge request frama-c/e-acsl!253

do not monitor variables with incomplete types (fix bts #2406)

See merge request frama-c/e-acsl!258