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

Update ar_tools location as old repo is gone.