Add copyright notice

Some files were pushed without.