Install and use the latest Libav (instead of FFMPEG) and x264 on Ubuntu

It appears that libav, a fork of ffmpeg (see discussion here), is a more actively developed multimedia SDK and encoder. In order to install libav, instead of ffmpeg, on Ubuntu, I follow the wonderfulHOWTO on installing and using the latest FFMPEG and x264, with the following changes: