feat: binary constraints format

[DavePearce]

Previously, the original corset tool had the ability to compile constraints into a binary format (e.g. zkevm.bin). It will be necessary to provide corresponding functionality here. Some key design objectives:

• Allow versioning of the format.
• Embed meta-data about the set of constraints (e.g. the git commit).