Personal PocketMine-MP installation manager (for plugin development)