Updated default theme. Added some functions around jedi mode. Removed workgroups mode in favor of elscreen-store.