Refresh QSD pages after editing

Make the inline ajax-based QSD editor trigger a page reload after
editing, so as to clear the cached version of the page for the person
who just edited it. This fixes #276.