An Geppetto Workspace used when demoing the IDE