Merge branch 'bugfix/kostyantyn/tests' into 'master'

[e-acsl-gcc.sh]

Fix for issue #8:

- --e-acsl-share option allowing to specify the location of RTL.
- compile using a local version of RTL if uninstalled version of the script is used.

See merge request !34