Gregor Krek, njegovo delo v pravosodju in prispevek k oblikovanju pravosodne knjižnice