Make the file header of *.m4 files consistent: 1. The file name. 2. The serial number. 3. The copyright and license header. * m4/*.m4: Adjust file headers.