Use a vector<char*> instead of char*[] so that we can add arbitrary number of

parameters, such as command-line arguments that the executing program gets via
bugpoint.

llvm-svn: 7423