Add copyright headers to some files