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

Allows for a more accurate performance measurement than the FPS log feature.
btw nevermind, I'll fix it myself via the web interface :)