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).