Merge "Speed up chroot process lookup in ART Buildbot tear-down script."