Deps fetching, more brevis-friendly REPL initialization, still need to
activate brevis menus.