Timings v2

Massive improvement of the Spigot Timings system.
Fixes many bugs, increases identification accuracy, adds more reporting data,
ultimately outputs in an XML format so its easier to parse on the web side.

Adds new API Bukkit.spigot().getBukkitConfig(),
Renames Bukkit.spigot().getConfig() to getSpigotConfig()
Adds new API Player.spigot().getPing() API
Adds new API Timings.of(Plugin, String) API for plugins to add their own timings.