fix(documentation): clarify reference to Lean 2. Fixes #62.
fix(documentation): clarify reference to Lean 2. Fixes #62.

leanprover/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io