Fix documentation of the return value of avcodec_encode_video().