A plugin builder for building PocketMine-MP plugins written in PHP, standalone