Chore: move nki.tensor to nki.meta.tensor#567

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/rename_nki_tensorleanprover/KLR:ppotapov/rename_nki_tensorCopy head branch name to clipboard