Comments: Handle unstarred comments a bit better

Unstarred comments are multi-line comments which are *not* formatted
like this:

  /*
   * foo
   * bar
   */

That is, they are formatted like this:

  /*
  foo
  bar
  */

For them, we now try to remove a prefix (whatever was on the line before
"/*"). This makes some whitespace disappear.