rustdoc: insert blank lines between consecutive doc comment blocks

This is to prevent, for example,

    /**
     * foo
     */

    /// bar

    mod m {
      //! baz
    }

from being rendered into a single paragraph "foo bar baz" in the html.