simple command line to update the copyright of file headers with a regexp