Juvix pretty printer adds extra newlines between Judoc comments

[paulcadman]

Say you have the following module:

Foo.juvix

--- Some comment
--- Other comment
module Foo;

When you run:

juvix --no-colors dev scope --with-comments Foo.juvix

The output is:

--- Some comment

--- Other comment
module Foo;

But I would expect:

--- Some comment
--- Other comment
module Foo;

[jonaprieto]

Yes, I forgot to report this.