Merge branch 'feature/andre/check-newline' into 'master'

Makefile

bin/check_newline.sh

doc/code/style.css

src/plugins/aorai/tests/ltl/call_tree.ltl

src/plugins/aorai/tests/ltl/test_boucle.ltl

src/plugins/aorai/tests/ya/assigns.ya

src/plugins/aorai/tests/ya/assigns_det.ya

src/plugins/aorai/tests/ya/deterministic.ya

src/plugins/aorai/tests/ya/incorrect.ya

src/plugins/aorai/tests/ya/other.ya

src/plugins/aorai/tests/ya/single_call.ya

...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h

...acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c

src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h

src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c

src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h

src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_io.c

src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_io.h

...rvation_model/bittree_model/e_acsl_bittree_omodel_debug.c

...ugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h