set charset in html reports. added --html-charset option, default is UTF-8
added top_users and top_databases parameters, both defaulted to 20
actually parse --top-users and --top-databases options