resolve-files.py: allow excluding packages from the Platform
    
    To handle files from the SDK leaking into the platform (gtk-doc, etc),
    allow specifying patterns of package names that we should simply
    ignore in the Platform. In particular, ignore any -devel package.