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

Allows for a more accurate performance measurement than the FPS log feature.
Why this empty line?