Allow to customize file name of make dist result.

Fixes https://github.com/JuliaLang/julia/issues/7407