feat(mapper): Add mapper tool for shadow map analysis

[tinkerrc]

This PR adds the mapper tool, which can aid in shadow map analysis.

Features:

• Given a pattern lookup table and a list of true predicate indices, calculate the upper bound for matcher table coverage, optionally writing the corresponding shadow map.
• Displaying the matcher table coverage of one or more shadow map(s).
• Doing operations on shadow maps (-diff and -intersect, see README.md for details).

[tinkerrc]

OK I fixed it. The new calculation method assumes the only matcher indices that cannot be reached are those belonging to Matcher::CompleteMatch and Matcher::MorphNodeTo matchers with one or more unsatisfied predicates. The given estimate might overestimate what we can possibly cover but is still an upper bound nonetheless. The calculated upper bounds are much higher than the coverage we get experimentally.

There could still be issues with mapper or how we are generating the lookup file, so I might dig around some more.