Use zip target to zip bftools and add bftools prefix
Properly set permissions on Command line tools executable files
Merge pull request #1149 from sbesson/rebased/develop/12327_bftools_prefix

Add prefix to zip file produced by dist-bftools target (rebased onto develop)