Fix wrong compile flags in debug mode during compilation of instrumented executables

There has been an issue in `e-acsl-gcc.sh` where in debug mode source code was compiled with optimization flags. This is fixed in this merge request. Further, this changeset adds `--fno-omit-frama-pointer` flag for cleaner traces.

See merge request !91