extraction to C: extract global variables
Currently the extraction to C silently ignores global variables. This MR proposes a patch to extract those, when the initializer is a simple enough expression, and display an error message in other cases.
fixes issue #872 (closed)