A refrigerated Dewar for the Josephson array voltage calibration system