Additional INSTALL instructions for getting gstreamer0.10-ffmpeg on 14.04