The gas system of the drift tube detector of the neutrino experiment OPERA