util.js: Added "urlencode_path" which is specially designed to encode paths.
         Added convenience function encoded_app_path.
         Ajax call now correctly encodes path.
listing, browser.js: All URLs generated are now correctly encoded (where they
        were sent unencoded before).