JavaScript library of tools for Espruino - used for the Web IDE, CLI, etc.