Add has_proguard_specs field to AndroidIdeInfo provider

I will use this to determine if an `android_binary` is instrumenting another `android_binary` that has potentially had dead code removed.

PiperOrigin-RevId: 932706867
Change-Id: I1e2ef39c4c253f48085af49cd2e6662feaec8148

providers/providers.bzl

diff --git a/providers/providers.bzl b/providers/providers.bzl
index b5eb7b5..eb2ef10 100644
--- a/providers/providers.bzl
+++ b/providers/providers.bzl
@@ -380,6 +380,7 @@
         aar = "",
         apks_under_test = "",
         native_libs = "",
+        has_proguard_specs = "",
     ),
 )