Fixing all file headers.
Adding tool misc/analyze-source.pl to check file headers and write AUTHORS file.