Add a line to separate doc comment attributes

Before:
```
// Doc 1, line 1.
// Doc 1, line 2.
// Doc 2, line 1.
```

After:
```
// Doc 1, line 1.
// Doc 1, line 2.
//
// Doc 2. line 1.
```
PiperOrigin-RevId: 492403255
diff --git a/cc_bindings_from_rs/bindings.rs b/cc_bindings_from_rs/bindings.rs
index f8f276a..f06a70a 100644
--- a/cc_bindings_from_rs/bindings.rs
+++ b/cc_bindings_from_rs/bindings.rs
@@ -837,7 +837,7 @@
             Some(symbol) => Some(symbol.as_str().to_owned()),
         })
         .collect_vec()
-        .join("\n");
+        .join("\n\n");
     if doc_comment.is_empty() {
         quote! {}
     } else {
@@ -1475,8 +1475,10 @@
             assert!(result.rs.is_empty());
             let doc_comments = [
                 " Outer line doc.",
+                "",
                 " Outer block doc that spans lines.",
                 "             ",
+                "",
                 "Doc comment via doc attribute.",
             ]
             .join("\n");
@@ -1503,7 +1505,7 @@
             let result = result.expect("Test expects success here");
             assert!(result.cc.includes.is_empty());
             assert!(result.rs.is_empty());
-            let doc_comments = [" Outer doc comment.", " Inner doc comment."].join("\n");
+            let doc_comments = [" Outer doc comment.", " Inner doc comment."].join("\n\n");
             assert_cc_matches!(
                 result.cc.snippet,
                 quote! {