bl-tools misc tools and scripts - mostly bash and python gitClone.py Clones the repos listed within the list to $HOME/dev