xlsynth-driver command line interface

The xlsynth-driver binary is a "driver program" for various XLS/xlsynth tools and functionality behind a single unified command line interface. It is organized into subcommands.

Subcommands:

• ir-equiv: Proves two IR functions to be equivalent or provides a counterexample to their equivalence.