Merge branch 'hotfix/program-leonardo-fix'
Renamed update-this-repo.sh to update-tools-repo.sh
Merge pull request #17 from ajt2/patch-1

Renamed update-this-repo.sh to update-tools-repo.sh
Merge branch 'master' into develop