added llbmc script

predator script edited

added main features (using getopt, timelimit, etc.)