SERVER-9253 added pid_file argument to mongo_killproc. New usage: mongo_killproc pid_file procname