A dgamelaunch-like frontend for DoomRL, supporting recording, spectators, and shared high scores