Propagating double layers in electronegative plasmas