Merge pull request #50 from semorrison/paths

chore: correct some paths

init.sh

@@ -1,5 +1,5 @@
 #!/bin/bash
-git clone https://github.com/insightmind/LeanInk ./leanInk -q
+git clone https://github.com/leanprover/LeanInk ./leanInk -q
 cd leanInk
 git fetch --tags -q
 latestTag=$(git describe --tags `git rev-list --tags --max-count=1`)

lakefile.lean

@@ -55,7 +55,7 @@ def indexOf? [BEq α] (xs : List α) (s : α) (start := 0): Option Nat :=
   | a :: tail => if a == s then some start else indexOf? tail s (start+1)
 
 /-! Walk the `test` folder looking for every `.lean` file that's not a `lakefile` or part of an
-`lean_package` and run `leanInk` on it. If `capture` is true then update the `.lean.leanInk.expected`
+`lake-packages` and run `leanInk` on it. If `capture` is true then update the `.lean.leanInk.expected`
 file, otherwise compare the new output to the expected output and return an error if they are
 different. -/
 def execute (leanInkExe: FilePath) (capture : Bool) : IO UInt32 := do