An API for Minecraft Pocket Edition