#264 separate profiling and benchmarks in nightly builds to hopefully stay below the 60 minutes marks for jobs in gitlab
