avformat: add Gremlin Digital Video demuxer