litmus-presi: added random paramater scanning and a few command-line options
for executables.