Fixed the awkward description of the -find-bugs option for bugpoint.