added description of $ make doc to README.md
clarified make doc description in README
Merge pull request #45 from benediktahrens/e-coqdoc

added description of $ make doc to README.md