Replace "/*\n * " with "/* " at the start of a file.

Replace "/*\n * " with "/* " at the start of a file.

Pulls the meat of the comment onto the file's first line, now that the
blank line at the start of the file has been deleted.  Allows `sed -ns
1p ...' or similar to give a summary of lots of files.