Sync public.libraries.buildbot.txt to ART chroot directory.

Have `art/tools/buildbot-sync.sh` overwrite the default
public.libraries.txt file with a smaller
one (`art/tools/public.libraries.buildbot.txt`) that contains only the
public libraries pushed to the chroot environment on device.

This is normally not needed for ART Buildbot targets (the ones defined
in `device/generic/art`), as they use `PRODUCT_COPY_FILES` to install
`art/tools/public.libraries.buildbot.txt` as
`/system/etc/public.libraries.txt` on device. However this is needed
for other targets, as they normally install
`system/core/rootdir/etc/public.libraries.android.txt` as
`/system/etc/public.libraries.txt` on device.

Test: ART chroot-based on-device testing using the master-art branch
Test: ART chroot-based on-device testing using the master branch.
Bug: 124425036
Bug: 121117762
Change-Id: Ib7a570344e26d448759a355a99a4a50089a0a3ce
diff --git a/tools/buildbot-sync.sh b/tools/buildbot-sync.sh
index 01b3c0d..351eb6c 100755
--- a/tools/buildbot-sync.sh
+++ b/tools/buildbot-sync.sh
@@ -26,5 +26,12 @@
   exit 1
 fi
 
+# Sync the system directory to the chroot.
 adb push ${ANDROID_PRODUCT_OUT}/system ${ART_TEST_CHROOT}/
+# Overwrite the default public.libraries.txt file with a smaller one that
+# contains only the public libraries pushed to the chroot directory.
+adb push ${ANDROID_BUILD_TOP}/art/tools/public.libraries.buildbot.txt \
+  ${ART_TEST_CHROOT}/system/etc/public.libraries.txt
+
+# Sync the data directory to the chroot.
 adb push ${ANDROID_PRODUCT_OUT}/data ${ART_TEST_CHROOT}/