Merge branch 'feature/martin/automata/add-opt-statement-in-skip' into 'master'

src/kernel_services/analysis/interpreted_automata.ml

src/kernel_services/analysis/interpreted_automata.mli

src/plugins/wp/tests/wp_bts/oracle/issue-684-exit.res.oracle

...s/wp/tests/wp_bts/oracle_qualif/issue-684-exit.res.oracle

tests/libc/oracle/argz_c.res.oracle

tests/libc/oracle/netdb_c.res.oracle

tests/libc/oracle/search_h.res.oracle

tests/libc/oracle/socket_h.res.oracle

tests/libc/oracle/spawn_h.res.oracle

tests/libc/oracle/stdnoreturn_h.res.oracle

tests/libc/oracle/sys_select.res.oracle

tests/misc/interpreted_automata_dataflow_backward.ml

tests/misc/interpreted_automata_dataflow_forward.ml

tests/misc/oracle/interpreted_automata_dataflow_backward.dot

tests/misc/oracle/interpreted_automata_dataflow_forward.dot

tests/value/oracle/noreturn.res.oracle

tests/value/oracle_gauges/noreturn.res.oracle