Prevent sequentially-numbered files from polluting log files by summarizing their deletion.

The first and last file are displayed as well as the number of files in-between.
Update version and copyright dates. And retab core.php while we're at it.