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

Add prefix to zip file produced by dist-bftools target