Merge pull request #20 from ARM-software/fix-pmu-counters

Resetting and sampling PMU counters at a high frequency seems to yield incorrect result.
This PR adds differential readings which yield more reliable results.