A lightweight GUI for installing and managing Minecraft on Linux / Ubuntu