A leaderboard system and Lua wrapper for CraftStudio games