updated --machinefile option doc
Merge pull request #5501 from amitmurthy/amitm/5489

updated --machinefile option doc