Technical debt: copyright headers and module docstrings

[kbuzzard]

We have weak.linter.style.header = false in lakefile.toml which silences the large number of linter warnings about there being no copyright headers or module docstrings. This should be removed and the copyright headers/module docstrings added.