One-loop operator matching in the static heavy and domain-wall light quark system with O(a) improvement