use gcc cpp on OS X automatically, so one doesn't have to edit config.ml by hand after `make clean` also, fix shellcheck warnings
use gcc cpp on OS X automatically, so one doesn't have to edit config.ml by hand after `make clean`
also, fix shellcheck warnings

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer