Major JavaScript refactor: util.ajax_call is now asynchronous, not
    synchronous.
    This required a change to the interface - now takes a callback and calls
    that, instead of waiting to return.
console.js, browser.js, tutorial.js, tos.js (all users of ajax_call):
    Reworked how they call - all calls now create a callback
    continuationy-thing, and pass that to ajax_call.