adding scripts to run the basic block set collector pintool