Add .p <number of product terms> to output
Add BOOM benchmark Espresso tests
Add default Espresso config to minimization module
Add some comments

Espresso uses:
    D = complement(cube1list(d1merge(sf_join(F, R), nvars)))
rather than:
    D = complement(cube2list(F, R))

There is a comment that explains it as a hack.