various ux changes

-changing servers via top-right dropdown maintains same page
-breadcrumbs changed to "active server: xx"
server_type created

+ added LOG_PATHS to help guess server_type
adjusted server_list_packet() to use server_type
ping() recognizes bungee