avformat/microdvd: export the declared frame rate