Simple autorefresh control. Fix #214.

Still could use:
* Only query the time that has passed since the last refresh
* Maybe stop refreshing when the browser window is not active?
make the default be 10 * 60