consistently apply a single blank line after licensing header

Otherwise there are spurious diffs and merge conflicts with branches.
(Note that this needs to be done to the branches too)

About half the files had it before, and half didn't, and the set of
which did and didn't changed on the batch-operation branch