Github-Pull: #5494 Rebased-From: 15de949bb9277e442302bdd8dee299a8d6deee60
contrib/devtools/fix-copyright-headers.py script to be able to perform this maintenance task with ease during the rest of the year, every year. Modifications to contrib/devtools/README.md to document what fix-copyright-headers.py does.