Add frame rate option to player. WARNING: At the moment this is a playback-only feature, so it is not saved to the file!

Future todos:
* Support higher-resolution frame rates to allow for PAL etc.
* Submillisecond timing for playback, right now it can have an error of up to 0.5ms per frame, which adds up