Merge branch 'feature/kostyantyn/model-tests' into 'master'

Enable testing of all supported memory models

The present merge request enables testing using all memory models supported by e-acsl-gcc.sh. 

See merge request !64