Switch to gstreamer for video encoding

This will enable better progress indication, and on-line recording in
future.

movie.sh.in

@@ -28,15 +28,9 @@ elif [ "-$1" == "-stop" ]; then
 	mkdir $GIGA_DIR/sm
 	kill `cat $2/audio.pid`
 	cd $GIGA_DIR
-	echo Message: Jp
-	@LIBEXECDIR@/mpegize.py jpegize $GIGA_DIR/ $FPS
-	echo Message: Mp
-	cd $GIGA_DIR/sm
-	@LIBEXECDIR@/mpegize.py convertall $GIGA_DIR/ $FPS
-	echo Message: Cl
-	mv $GIGA_DIR/smo/*.mp4 $DEST_NAME
+	@LIBEXECDIR@/mpegize.py convert $GIGA_DIR/ $DEST_NAME $FPS
 	rm -r $GIGA_DIR
-	echo Message: Ok
+	echo Message: Rec
 else
 	echo "Unrecognized command"
 fi