Leancrypto

The leancrypto library is moved to a new home.