Allow to customize file name of make dist result.

Fixes https://github.com/JuliaLang/julia/issues/7407
Merge pull request #7509 from crayxt/patch-3

Allow to customize file name of make dist result.