CNAME settings in gulp

[jhenshall]

Change gulp to copy CNAME to docs folder. Link of how to do.

Possibly:
let copiedFiles = gulp.src(['CNAME']) .pipe(gulp.dest('docs/'));

and then add copiedFiles to the merge line at the end.

Maybe also delete CNAME from the top level folder? Only needed in docs?

[jhenshall]

This is now covered by GitHub actions so no longer an issue.