Merge branch 'kostyantyn/misc-updates' into 'master'

Bugfix for memory size computations/Embedded printf

- Fixed a bug in computation of the heap size via updates of the `__memory_size` variable.
- Added a test case for the above (e-acsl-runtime/memsize.c).
- Added embedded printf to the C memory model. This removes functionality from stdio.h and assert.h headers.
- Small updates and stylistic issues in the C code of the memory model.

See merge request !21