Fix/virgile/why3 conf

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

[rte] Do not visit variable declarations; fixes a crash.

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

Also use FC's Makefile standard variables whenever possible

Resolve "[wp] why3 dependencies"

Closes #649

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

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

[typing] cleaning up unused locals, again 

Closes #643

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

Bugfix/issue629

Closes #629

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

- a named void parameter is considered an error;
- a void parameter (other than by itself) is considered an error

Merge branch '650-erreur-lors-de-la-generation-des-fichiers-why3-avec-certaines-construction-pas-encore-vraiment-identifie' into 'stable/potassium'

Resolve "Erreur lors de la génération des fichiers Why3 avec certaines construction (pas encore vraiment identifié)"

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

Merge remote-tracking branch 'origin/stable/potassium' into feature/patrick/merge-potassium-into-master