FPSCounter: Add "Log render time to file" feature.

Allows for a more accurate performance measurement than the FPS log feature.
Oops, well spotted.