adjust docs to remove reference to Lean library#146

oxe-i merged 1 commit intoexercism:mainexercism/lean:mainfrom

oxe-i:adjustDocsoxe-i/lean:adjustDocsCopy head branch name to clipboard