[ctest] Changed log file extension from .log to .txt.
Log files for failed benchmarks can be viewed directly in the browser without downloading.
Edited by Lars Bilke
Log files for failed benchmarks can be viewed directly in the browser without downloading.