Benchmark Creation using Python Package

[nquetschlich]

Currently, each benchmark is newly created by the python package whenever a get_benchmark method call is executed. This could be improvement, since many benchmarks are already created and available using the database of the MQT Bench webserver. Therefore, the following steps would be useful when get_benchmark is called:

1. Check if the MQT Bench database is downloaded locally. If yes, check if the benchmark is already part of that.
2. If the database is not downloaded but part of it, get the benchmark using the MQT Bench webpage.
3. Only if 1) and 2) are not successful, create the benchmark locally as it is currently implemented.