Move dump_rtprio to glog

Change-Id: Id0bf964abddc287d00bcaf401bd8998f295480e2
Signed-off-by: Brian Silverman <bsilver16384@gmail.com>
diff --git a/aos/BUILD b/aos/BUILD
index cd1f133..9049e08 100644
--- a/aos/BUILD
+++ b/aos/BUILD
@@ -153,9 +153,8 @@
     ],
     target_compatible_with = ["@platforms//os:linux"],
     deps = [
-        "//aos/logging",
-        "//aos/logging:implementations",
         "//aos/time",
+        "@com_github_google_glog//:glog",
     ],
 )