Gitlab: Run benchmark in CI.