close serial port before calling programArduino.py
Merge branch 'hotfix/program-leonardo-fix'
Merge branch 'hotfix/program-leonardo-fix' into develop
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
Fixes in installer (forgotten ;; in case statement)