PHP extension for encoding/decoding video through libavcodec