Make module headers consistent.
Trailing whitespace.
Missing copyright header.
Merge pull request #5 from tweag/code-cleanups

More metadata cleanups