Add Conda OpenMP mutex setting to Gitlab CI, too