Add support of extern global variable

[ladisgin]

KLEE error on files with extern global
For example on project FRRouting/frr

KLEE: ERROR: Unable to load symbol(MTYPE_TMP) while initializing globals

Minimal reproduce example

extern int b;

int fun() {
    return b;
}