[Minetest] Fix server port type
[Minetest] Show server ping rounded in miliseconds