added llbmc script
predator script edited

added main features (using getopt, timelimit, etc.)