Add copyright headers to source files.

Seems like a sensible idea.