The patch is now to be applied to dgamelaunch revision 6753fd6e.
Maybe I should maintain my own Git branch. But this project already
uses autotools and npm. I don't need any more software that's amazing
in theory but painful to actually work with.
The user and group might not be created with the UID and GID expected,
so it is better to use names. They can be changed to numeric values
after installation.
The inprogress dirs are now at /dgldir/inprogress/$GAME instead of
/dgldir/inprogress-$GAME. This is less cluttered and may be more
convenient for watching.
