Make the page reload time a parameter of the uri
Make the page reload time a parameter of the uri

This makes easy to tweak the reload time for demo. To use it, use dump?reload=x where x is the number of second between reloads. Use 0 to disable reloads. 0.1 is a valid parameter.

samoht/irmin,mirage/irmin,mirage/irmin