[patch] webui: make refresh interval user-configurable; add favicon

[Beat Gätzi]

Hi,

Ion-Mihai Tetcu wrote:
> Attached patches (against latest release) introduce 2 inc_tinderbox
> config vars, $reload_interval_latest and $reload_interval_current which
> allow to set the reload interval for "Current And Latest Builds" page
> while no port is building and while a port is building respectively.

The new vars are commited into HEAD. I added some default values if a 
user upgrade from a previous version without adding the vars to 
inc_tinderbox.

> Since at lest me and beech find the current defaults to be much to big
> I think this would be nice to have.
> 
> 
> I think that adding http://qat.tecnik93.com/favicon.ico file in webui/
> would be nice :-) (the port already does this).

Also commited into HEAD.

Thanks for your submission!
Beat