Add RPi benchmark results.

Let's hope I pushed the right github buttons.