Update ar_tools location as old repo is gone.
Merge pull request #2788 from mikeferguson/patch-6

Update ar_tools location as old repo is gone.