added llbmc script
predator script edited

added main features (using getopt, timelimit, etc.)
Merge pull request #2 from Shootervm/master

added llbmc script