Documentation: Renamed "ant test" to "grunt dist" in creating a pull request page.
Merge pull request #6037 from EricDunsworth/v4.0-docs-pull-grunt-dist

Documentation: Renamed "ant test" to "grunt dist" in creating a pull req...