Squashed 'Torch/' changes from 5233db9..c5e97f4

c5e97f4 prod-Torch: Updated prod version of Torch at version 0.8.5.

git-subtree-dir: Torch
git-subtree-split: c5e97f4ee46ac19e44ac7d29b9a3dc6a8ca9927b