Added avg times
Merge branch 'master' of https://github.com/chris-pac/PIN-tools

marge