tools: add a script for computing number of outcomes in the minimal model.
litmus-presi: add option -a <n> (number of cores devoted to test) and simplify executable command-line options parsing.