Test on Mac

[tbaudier]

The benchmarks run on Ubuntu docker image. We chose Docker to simplify the execution and reproducibility. But for mac, it's not possible to use Docker images. Previously, a simple test was executed after Gate compilation to verify the execution of Gate on different platform.