Code formatting removes comment strings

[paulcadman]

Format a file in emacs containing a comment, the comment is removed.

The emacs formatter uses juvix dev scope, you can see the issue in this example:

$ cd examples/milestone/HelloWorld
$ cat HelloWorld.juvix
-- HelloWorld.juvix
module HelloWorld;

open import Stdlib.Prelude;

main : IO;
main := putStrLn "hello world!";

end;
$ juvix dev scope HelloWorld.juvix
module HelloWorld;
  open import Stdlib.Prelude;

  main : IO;
  main := putStrLn "hello world!";
end;

If we intent to use the scoper output as a formatter, we should preserve the comment strings.