[NKI-1282] Output shared_constants to hash of their content#606

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/shared_constant_hashleanprover/KLR:ppotapov/shared_constant_hashCopy head branch name to clipboard