command line interface additions

[Stephen Siegel]

Several options need to be added to the commandline interface:

-reduce=urgent : use Urgent algorithm
-reduce=std : use Standard algorithm [default]
-deadlock=ignore : use "ignore" deadlock strategy (ignore all deadlocks)
-deadlock=potential : find all potential deadlocks
-deadlock=absolute : find absolute deadlocks only [default]

[ywei]

Fixed. The front end can accept these new options now.