doc(doc/lean): update Lean tutorial to Lean 0.2, and use org-mode

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(doc/lean): update Lean tutorial to Lean 0.2, and use org-mode