libavcodec: Document that encoders may use the framerate field in AVCodecContext