doc/libavcodec: hint to where to find the Git history