Merge branch 'feature/andre/warn-loops-no-unroll' into 'master'

doc/value/main.tex

src/plugins/value/engine/loop_partitioning.ml

src/plugins/value/engine/partitioned_dataflow.ml

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli

tests/misc/oracle/unroll_annots.res.oracle

tests/value/loopfun.i

tests/value/oracle/loopfun.0.res.oracle

tests/value/oracle/loopfun.1.res.oracle