update headers

update headers to 2016 and address issue #3 

See merge request !28

Documentation for the E-ACSL wrapper script

Merge request addressing issue #6 

- Fixed a minor bug in the `e-acsl-gcc.sh` script.
- Added a section on the use of the E-ACSL wrapper script to the E-ACSL user manual. I placed the section at the very end of the manual, this is such that one first explores the available options and then learns how to make simplified runs. I think that the section on the wrapper script can also be placed at the very beginning (e.g., simple use with `e-acsl-gcc.sh` first and the advanced use via custom `frama-c`/`gcc` commands later). Please advise if the latter one is preferred. 
- Added an entry to the Changelog regarding the above change.
- Fixed test failures due to changes in the output of `frama-c`.

See merge request !26

section of the user manual

Minor spelling/stylistic changes (see merge request #26)

as it belongs to doc/userman/changes.tex

wrapper script

e-acsl-gcc.sh

to a Frama-C run

section of the user manual

Minor spelling/stylistic changes (see merge request #26)

as it belongs to doc/userman/changes.tex

wrapper script

e-acsl-gcc.sh

to a Frama-C run

Changes to e-acsl-gcc.sh (Issue #7 )

This merge request introduces the following updates:
   - Structural improvements to the `e-acsl-gcc.sh` wrapper script.
   - Options allowing to specify names of the Frama-C and GCC executables in `e-acsl-gcc.sh`.
   - Improvements of the documentation and the proper man page for `e-acsl-gcc.sh`. 
   - Convenience wrapper around `e-acsl-gcc.sh` to be used with testing (`scripts/testrun.sh`).

Julien, please have a look at the `scripts/testrun.sh`, it may implement some of the features that you may find useful need for testing. If you like the script I am happy to extend it with other features that may be lacking for the moment. 

See merge request !25