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

Allows for a more accurate performance measurement than the FPS log feature.
Addressed in #593.