added description of $ make doc to README.md

amend README explaining enhanced documentation with toggable proofs