Add scripts to check/fix copyright headers.

 * Add a script that will report files without copyright headers.
   (see hasCopyright.sh for sample usage).
 * Add a script that will add a header to files.
   (see fixCopyright.sh for sample usage).

Reviewed-by: Roberto Raggi