Script to give the summary from a long HTML log file.