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.

Apparently order of multiple getrandom in params is undefined. Also remove broken and pointless getrandom call.

merge