I have downloaded the .mov files from the links given and put them through both
Sony's Vegas Movie Studio 9 Platinum Edition and
Adobe's Premiere Elements 7 - both accept the file format and both edited them easily.
They both have a good level of functionality with multiple audio and video tracks allowing Picture in Picture, layering of audio and video, greenscreening, many transitions and effects.
Both will export at HD settings, allow use of various codecs including H.264 (high compression, high quality).
Both are available as 30 day fully functional trial versions - so you can try them and see which suits your budget and needs and style.
Personally I prefer Adobe but that is probably because I started off with Adobe and know it better than Vegas and I'm too lazy to learn another software package
Hope this helps.