I found details about the editor that Eric Chahi designed to make the game here: https://youtu.be/2PLLDpzwwUI?t=615