feat(library/module): export global universe level declarations

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/kernel_bindings): Lua API consistency, environment:add method also register declaration in the export table

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add .olean corrupted file tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/module): improve 'import module' error messages

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/aliases): move replace_prefix to util/name

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library): add namespace management

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>