new config/cmdline for goblint as json via ppx - View it on GitHub