contrib: Fix several includes, and a missing copyright header
The copyright header was removed, apparently by mistake,
in c310c29a7712a06fe68fcb838b8c8a64caa5914b. I've put the
header back, carefully referencing the original to be
certain that I'm not inadvertently changing the copyright
status.