Add the `revng mass-testing` commands and auxiliary executables which simplify running revng on a huge quantity of input executables.
Giacomo Vercesi