Add attribute `goblint_cil_pulledup` to static variables that are not globals

[michael-schwarz]

CIL pulls up static variables from within functions to be normal globals. These should be given an attribute goblint_cil_pulledup.

Related: goblint/analyzer#1538