Final makeinfo-based documentation patches

With https://ffmpeg.org/pipermail/ffmpeg-devel/2014-July/160069.html, this produces documentation that has a native look and feel.