Merge branch 'kernel/visitor_behavior' into 'master'

Changelog

Makefile

bin/migration_scripts/potassium2calcium.sh

headers/header_spec.txt

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/cfg.ml

src/kernel_internals/typing/unroll_loops.ml

src/kernel_services/analysis/exn_flow.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_const.ml

src/kernel_services/ast_queries/cil_const.mli

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/ast_transformations/filter.ml

src/kernel_services/ast_transformations/inline.ml

src/kernel_services/visitors/visitor.ml

src/kernel_services/visitors/visitor.mli

src/kernel_services/visitors/visitor_behavior.ml

src/kernel_services/visitors/visitor_behavior.mli