Merge branch 'feature/eva/rename-directory' into 'master'

.gitattributes

.gitignore

doc/Makefile

doc/eva/.gitignore

doc/eva/README

doc/eva/biblio.bib

doc/eva/cealistlogo.jpg

doc/eva/eva/function-call.pdf

doc/eva/eva/function-call.tex

doc/eva/eva/tikz_call.tex

doc/eva/examples/alarms/div.c

doc/eva/examples/alarms/double_op_arg.c

doc/eva/examples/alarms/double_op_res.c

doc/eva/examples/alarms/invalid.c

doc/eva/examples/alarms/invalid_bool.c

doc/eva/examples/alarms/lshift.c

doc/eva/examples/alarms/ov_float_int.c

doc/eva/examples/alarms/overlap.c

doc/eva/examples/alarms/pointer_arith.c

doc/eva/examples/alarms/pointer_comparison.c