feat: document/support Foundry-compatible --match options

[palinatolmach]

(1) --match flag used in hevm test to analyze individual tests and/or test contracts is only documented in the dapptools repo.

(2) Foundry supports several variations of this option that restrict the analysis to test functions that are
-match-test --- matching the regex,
--no-match-test --- not matching the regex,
--match-contract--- specified in contracts matching the regex,
--no-match-contract--- specified in contracts not matching the regex,
--match-path <GLOB> --- located in source files matching the glob pattern,
--no-match-path <GLOB> --- located in source files not matching the glob pattern;

while --match (similar to the one supported by hevm) is deprecated. It might be nice to have a similar set of options to make symbolic testing of Foundry projects slighly easier.