Update every 5 seconds

This makes the status symbols update every 5 seconds without needing to refresh the page.

It also turns the multiple HTTP requests into a single JSON one, increasing speed.
Could you rename this to ``auto_update_interval``?