API for dynamically changing game speed
Use case – a game that gradually gets faster as the difficulty ramps up.

I achieved this by modifying pyxel._app _one_frame_time and pyxel._app._fps, but it would be great if there was a more official way to do this.