Updated platform table dump machine to be jenkins.prod.stanford.edu, instead of deploy.prod.stanford.edu.