download_file: fix on.exit bug and export
download_file: add man page
Use require.quiet where possible and display mor informations when installing packages