The thermal design, characterization, and performance of the Spider long-duration balloon cryostat. (December 2015)