Merge "Kill chroot processes at the end of the ART Buildbot tear-down script."