Merge change 5763 into donut

* changes:
  Remove problematic case-insensitive duplicate files. Add missing copyright/license disclaimer to build/tools/make-release.sh Add a new tool: build/tools/find-case-duplicates.sh