util.js: Yet more fixes for encoding/decoding URIs. build_url and parse_url
    had some instances of multiple encoding/decoding. Now confident they will
    correctly encode/decode just once.
browser.js: Combined settitle and presentpath (since they have very related
    actions, the one function just does both).