Correctly distinguish between game and real ticks while recording video,
so that paused game and speed-up demo are recorded better.
Also support recording videos from demos executed directly (without frontend),
such videos will be automatically encoded on frontend startup.
