Update for Topos 0.0.11; add an init command
This release updates for the Topos 0.0.11 release, and also adds a separate init command to the playground, which will download all of the software components without starting the playground.
This release updates for the Topos 0.0.11 release, and also adds a separate init command to the playground, which will download all of the software components without starting the playground.