feat(library/kernel_serializer): add serializer/deserializer for inductive decls

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/module): add inductive decls to .olean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/kernel_bindings): use standard environment in import_modules

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add inductive decl serialization test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add inductive decl serialization test