Added timer middleware, which adds a request header saying how long a page took to generate.

Added a little hack in harvest.js to display that header after loading new results with XHR.

Made some more text translatable in harvest/templates/base.html.