Tools for recording, editing, playing back and MPEG-encoding video under Linux