There is also the video editor in Blender. It is what they used for their quite professional looking short movies, so it must be good, but it might be difficult to understand the user interface if one is not already familiar with Blender. I've only used it a handful times for very simple stuff, mostly without sound.