Merge branch 'fix/ivette/evaluation-mode-feedback' into 'master'

[ivette] Adds feedback when the user requests the evaluation of a custom term.

See merge request frama-c/frama-c!4525