Please add an API for getting the server TPS. Maybe a method in the Bukkit class would be appropriate.