renamed to lproof
testing auto-generated TOC
README: added TOC
readme: shortened TOC
README, fix referenced link
README: added table of contents text
Merge pull request #21 from olalonde/rename

Rename