I think I had mentioned it on the IRC earlier, but based on what we've done so far, you'll only need basic audio manipulation. Y'know, the usual speed stuff, reversal, change pitch, whatever. I highly recommend Audacity, because it's easy for everyone to use, and it has everything you SHOULD need.