macOS build on travis fails b/c it uses clang -> install gcc
macOS build on travis fails b/c it uses clang -> install gcc

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