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

Allows for a more accurate performance measurement.
FPSCounter: Use a Timer for the FPS update time.
Replace "Log FPS to file" by the "Log render time to file" feature.
Merge pull request #591 from Armada651/pref_log

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