[PD-ot] experimental videos

[patrick at 11h11.com]

you can use gstreamer to record your session (on linux, don't know on  
other platform):

gst-launch-0.10 -e jackaudiosrc connect=0  ! queue !  
audio/x-raw-float, channels=2 ! audioconvert ! queue ! audiorate !  
queue ! vorbisenc max-bitrate=128000 ! webmmux. ximagesrc use-damage=0  
! queue ! videoscale ! queue !  
video/x-raw-rgb,width=1920,height=1080,framerate=30/1 ! queue !  
ffmpegcolorspace ! queue ! videorate ! queue ! vp8enc threads=4  
quality=10 speed=7 ! queue ! webmmux name="webmmux" ! queue ! filesink  
location=screendesktop.webm

David, nice work!
Can you share the patch?