fix #2258: search users in dashboards with numeric username

this changes the dashboard search so that numbers or IPs aren't searching for only
the user ID or IP addresses - instead it will also search for the field as other types

This may be a performance issue when searching through millions or tens of millions of users.. but that may be a problem for the regular queries anyway.