Major rewrite of mc example
Minor improvements to README.md
Minor modification of commented debug code that reports statistics on garbage collection.
Added LDDmc, multi-core ListDD implementation
Added LDDmc print_sha functions
lddmc: add lddmc_match
lddmc: add lddmc_match_sat_par
lddmc: add lddmc_test_ismdd
lddmc: add lddmc_relprev