Add the needed changes to `revng mass-testing dump-sections` so that a fat Mach-O does not lead to a crash.
Improve text-size detection in the case of PE and Mach-O files. In both cases if a suitable `.text`-like section is not found then the text size will be the sum of all segments with an executable flag.
Add the `revng mass-testing` commands and auxiliary executables which simplify running revng on a huge quantity of input executables.