A painless web server for PocketMine-MP