[eacsl] Remove mention of -p option in wrapper script

The `-p` option does not exist.

src/plugins/e-acsl/scripts/e-acsl-gcc.comp

@@ -29,7 +29,7 @@ _eacsl_gcc() {
   prev="${COMP_WORDS[COMP_CWORD-1]}"
 
   opts="
-    -i -C -p -d -o -O -v -V -f -E -L -M -l -e -g -q -s -F -P -N -D -I -G -X -a
+    -i -C -d -o -O -v -V -f -E -L -M -l -e -g -q -s -F -P -N -D -I -G -X -a
     -h -c -T -k
     --verbose= --debug= --debug-log= --logfile= --quiet --rt-debug --help
     --rt-verbose --check --then --keep-going --fail-with-code --external-assert=

src/plugins/e-acsl/scripts/e-acsl-gcc.sh

@@ -344,7 +344,6 @@ Options:
   -e         pass additional options to the prepreprocessor
   -E         pass additional arguments to the Frama-C preprocessor
   -F         pass additional options to the Frama-C command line
-  -p         output the generated code to STDOUT
   -o <file>  output the generated code to <file> [a.out.frama.c]
   -O <file>  output the generated executables to <file> [a.out, a.out.e-acsl]
   -M         maximize memory-related instrumentation