[Minetest] Add IP filter to server command
[Minetest] Don't count things like DNS resolution in pings

Also change ping measurment unit to microseconds.