util.js: dom_make_link_elem: Added argument dontencode, necessary to sometimes
    not encode the href.
listing.js: When creating a download link for multiple files (which includes a
    query string), do manual URL encoding and set dontencode.