Allow specifying a range of addresses for disassembly

[codyroux]

Currently, we use BAP to uplift the entire binary and create a resulting project, and the same for uplifting the proposed patch to CBAT for CEGIS. This has become prohibitively slow on some examples.

Proposal:

• Allow for a range of addresses in https://github.com/draperlaboratory/VIBES/blob/7029ecf742a7cd6b795b916d8fe1a22e02e1ef52/bap-vibes/src/utils.ml#L58
• Use Image.create + Image.memory to get the memmap, which can then be filtered using the DWARF utilities
• Use Project.Input.custom to create a project with the pruned memory, which hopefully should be a lot faster.
• Update the config.json format and the Data.t record to allow the user to specify these bounds.

[codyroux]

Additionally, it now looks like we need to track targets in the config file as well.