Added LibraryBeta.mu: an alternative implementation of set pattern
matching that uses "mset_subtract_mset", "mset_subtract_elm",
"mset_subtract_set".
Added another set match benchmark.