68/[52-55] Don't include goblint.h, it is unused

68/[52-55] Don't include goblint.h, it is unused #7722