tools/dav1d: abort on unused/unknown CLI arguments

12 jobs from master in 7 minutes and 41 seconds
Status Job ID Name Coverage
  Build
passed #239241
amd64 debian
build-debian

00:00:32

passed #239245
debian aarch64
build-debian-aarch64

00:01:30

passed #239246
debian aarch64
build-debian-aarch64-clang-5

00:01:04

passed #239242
amd64 debian
build-debian-static

00:00:32

passed #239248
debian aarch64
build-debian-werror

00:00:31

passed #239247
macos
build-macos

00:00:25

passed #239243
win32
build-win32

00:00:29

passed #239244
win64
build-win64

00:00:34

 
  Test
passed #239249
amd64 debian
test-debian

00:00:50

passed #239250
amd64 debian
test-debian-asan

00:02:13

passed #239251
amd64 debian
test-debian-msan

00:01:03

passed #239252
amd64 debian
test-debian-ubsan

00:01:22