I took at look at this and had to try installing it on my Raspberry Pi. It worked great!

I couldn't get it to recognize my microphone but I didn't fiddle with that much. It was easy to capture an audio track on my Mac while recording the screen on the Pi and bring the movie over into Quicktime and sync them up.

I've been looking for a way to record the screen on my Pi so I thank you too!