Added double jump
Added PvP mode
Now players always spawn facing towards the centre of the game floor
When setting up arenas, World Edit selection now takes priority over the Denizen Area Selector Tool (since the former always follows the latter, but the reverse is not true)
Improved timing when setting gamemode