Merge branch 'feature/andre/fc-script-list-functions' into 'master'

Makefile

bin/frama-c-script

headers/header_spec.txt

share/analysis-scripts/list_functions.ml

src/kernel_services/ast_data/globals.ml

src/kernel_services/ast_data/globals.mli

src/kernel_services/ast_queries/cil_datatype.ml

src/kernel_services/ast_queries/cil_datatype.mli

tests/fc_script/for-find-fun2.c

tests/fc_script/for-list-functions.c

tests/fc_script/for-list-functions.h

tests/fc_script/for-list-functions2.h

tests/fc_script/main.c

tests/fc_script/oracle/find_fun1.res

tests/fc_script/oracle/find_fun2.res

tests/fc_script/oracle/find_fun3.res

tests/fc_script/oracle/list_functions.err

tests/fc_script/oracle/list_functions.res

tests/fc_script/oracle/list_functions2.err

tests/fc_script/oracle/list_functions2.json