litmus-presi: add selection of parameters on the command-line...