[e-acsl] fix TLS segment start address and size

The TLS segment no longer includes stdin/stdout/stderr/errno on Linux.
These objects are henceforth no longer found in any of the monitored
segments. Thus some tests involving these objects fail now.

Therefore we need special treatment of these objects in the predicates
\valid, \valid_read and \initialized as well as for the logic functions
\block_length, \offset\ and \base_addr.

This is addressed in the subsequent commit.

Fixes #1147