Added PocketMine C PHP extension