Move dune version comment to separate line to make dune-release check happy
Move dune version comment to separate line to make dune-release check happy

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