Merge branch 'feature/fix/print-directory' into 'master'

[bin] supress printing directory in bin/frama-c

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

bin/frama-c

@@ -22,4 +22,4 @@
 ##########################################################################
 
 
-dune exec --root=$(dirname $0)/.. --no-build frama-c -- "$@"
+dune exec --root=$(dirname $0)/.. --no-build --no-print-directory -- frama-c "$@"