Add -output-prefix option to bugpoint (to change the default output name).