New filtering mechanism, rework command-line options

See merge request !9

Co-authored-by: Julien Muchembled <jm@nexedi.com>
9 jobs for master in 0 seconds