Symbol size information is not used

Symbols can have size set (mostly in ELF). We are not always using this information. E.g. in the following case:
```c
#include

volatile int foo[100];

int main() {
for (int i = 0; i < 100; ++i) {
printf("%dn", foo[i]);
}
return 0;
}
```
compiled into [test.zip](https://github.com/avast-tl/retdec/files/1699433/test.zip), there is this record in the symbol table:
```
65 foo DATA OBJECT GLOBAL Default visibility 24 134518752 400
```
We could use it to infer global object's type - the size of an array.

Reproduce the example from test.zip and inspect how ELF symbol-table information is handled for the global object foo. Trace where its reported size is currently discarded, then verify that the size can inform the inferred array type and that the example decompiles with the expected type.

Written by the indexing model from the issue text.