Fix spurious line breaks in pretty-printing of qualified module paths

Remove the `@,` (break hint) from the format string in `pp_msymbol`
when printing multi-component module paths. The break hint allowed
the formatter to insert line breaks between namespace components,
causing output like `G.\nRO.get(x)` or `module Alias = G.\nRO.`
instead of the correct `G.RO.get(x)` and `module Alias = G.RO.`

Fixes #696.

Author: JNC4

src/ecPrinting.ml

@@ -510,7 +510,7 @@ let rec pp_msymbol (fmt : Format.formatter) (mx : msymbol) =
     Format.fprintf fmt "@[<hov 2>%s(@,%a)@]" x (pp_list ",@ " pp_msymbol) args
 
   | mx1 :: mx ->
-    Format.fprintf fmt "%a.@,%a" pp_msymbol [mx1] pp_msymbol mx
+    Format.fprintf fmt "%a.%a" pp_msymbol [mx1] pp_msymbol mx
 
 (* -------------------------------------------------------------------- *)
 let pp_topmod ppe fmt p =