tools: times.sh: show more information in stdout (while still printing it to the log), compute averages of runs, automatically compile and run "times" binary after generating the log.
Merge pull request #268 from matthiaskrgr/times_sh

tools: times.sh: show more information in stdout (while still printing it to the log), compute averages of runs, automatically compile and run "times" binary after generating the log.
New check: Warning, if positioning operation (fseek) is performed on a file opened in "a" mode
Fixed crash #5511.
Fixed false positive #5535: Reference named like its type.
Fixed #5382: False positive "scope can be reduced" when initializing two-dimensional array.
Implemented #5262: VS solution copies cfg files to output folder.