Merge branch 'master' into feature/ivette/tip

Changelog

bin/frama-c-script

bin/migration_scripts/nickel2copper.sh

dev/size_states.ml

doc/developer/advance.tex

doc/developer/architecture.tex

doc/developer/changes.tex

doc/developer/check_api/run.oracle

doc/developer/examples/populate_spec/populate.ml

...es/populate_spec/tests/example/oracle/populate.res.oracle

doc/developer/examples/syntactic_check/syntactic_check.ml

doc/developer/tutorial.tex

doc/developer/tutorial/hello/src/extend_run.ml

doc/developer/tutorial/hello/v1-simple/hello_world.ml

doc/developer/tutorial/hello/v2-register/hello_world.ml

doc/developer/tutorial/hello/v3-log/hello_world.ml

doc/developer/tutorial/hello/v4-options/hello_world.ml

doc/developer/tutorial/hello/v5-multiple/hello_run.ml

doc/developer/tutorial/hello/v6-test-with-bug/hello_run.ml

doc/developer/tutorial/hello/v7-doc/hello_run.ml