Reviewed-by: con

Reviewed-by: con

doing it in 1.3 as well to avoid possible later conflicts

 * 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

Somehow the required end of line didn't work out on Mac.
We have 2-digit version number parts.

ide/nightly_builds again
Details:  using third party's bandwidth is not really nice