Merge branch 'feature/blanchard/db/last-steps' into 'master'

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

...oper/tutorial/viewcfg/src/extend_with_run_with_options.ml

doc/developer/tutorial/viewcfg/src/extend_with_simple_run.ml