Updated repo location for RTools (GitHub username change)
Merge pull request #2352 from karthik/master

Updated repo location for RTools (GitHub username change)