Players column now have three integers - first is real humans
count, second - bots count, and third - maximum players allowed
on this server. Also, sidebar will show bots count as well.
Fixed favorites servers - they now correctly added/removed in/from cache,
and also fixed favorite server edition dialog, which now also takes
advantage from server's cache.
Added new toolbar button for updating one server. It works :).
Added new column in servers lists, which shows is server is private or public.
Adding a favorite server now requires created valid profile. It will
not allow to create favorite server without proper profile.
Fixed servers updating database, now they put all fields there.
Added stubs for players info and extended server config things in
database.
Configuration is now properly saved for parameters in Options window.
Also they are restored fine.
Added tray icon with two default actions: show/hide and exit. More
to come.
Favorites functionality done, except editing favorite server.
Note, that game profile defined for favorite server have
higher priority on normal profile selected in combobox near
"Launch!" button. Later WILL be ignored.
Bunch of fixes is added.
