Changes to performance/timing script

This PR cannot be merged as it is, so just close it... But I just wanted you to have a look at the `performance.py` script, I've filtered the data a little bit to ease plotting ;)