Thanks Philip! :)
We used a lot of different things to do the most recent videos because we wanted to show NiCE running on Linux, Windows and Mac. I used OpenShot on Linux. It is a very good, FOSS tool for nonlinear video editing, although you have to save often because it crashes occasionally. We used Windows Movie Maker and Final Cut Pro on Windows and Mac.
I stripped and re-mixed the audio from the video using ffmpeg. I also used Audacity to clean up and edit the audio once I stripped it from the video. I used it to remove noise where required and in cases where we had audio from different microphones, I also used Audacity to normalize the audio or align it. In most of the videos we were only able to normalize the audio to minimize the change in volume across clips. However, for the Bison video I used two separate microphone feeds where the first was in perfect sync with the video, but the second was of a much higher quality. Then I aligned the two and removed the sync feed.
We invested in special hardware to do these videos, including some Blue Mountain Yeti Microphones, a lapel microphone, a Canon Rebel T3i digital SLR, tripods and other gear. It was about $800 total.
On the filming side, the biggest thing we learned over the past couple of years was to do film the clips separately and put them together in post-processing. Trying to film the whole thing in a single shot never works because something always messes up or it can't be cut right. Short takes that are spliced together work much better.
I'm very glad to hear that you and I hope you're able to use this information to make some cool videos too!
Jay