I'm not sure if this is right but I think they used Twine
Per Andrew Plotkin's blog entry on the game, they used the Sugarcube plug-in for Twine as the starting point, so you're essentially correct!
