avcodec: add Gremlin Digital Video decoder