add TLA book by Leslie Lamport
add the index for TLA
Merge pull request #1004 from AndriyLin/master

[init] - TLA