feat(kernel/environment): universe variables now live in their own namespace

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(build): put back the dependency on lean executable for .olean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(build): put back the dependency on lean executable for .olean files