New formula: libav: 9.9 - tools to encode/decode video

Partially adapted from the ffmpeg formula. libav compilation seems robust, I
tested on two laptops and installed alongside ffmpeg without issue. I also
tested with all build options enabled.

Previous mentions of a libav formula were at #12534 and #2033.