Added optional pruning parameter, updated README

Added an additional pruning parameter that can be used to prune the
intermediate lattice, making longer lists more tractable at the expense
of exactness.  Updated the README.md file with examples.