Remove documentation generation from build system.
Remove documentation from core repository.

Much of this has already been converted to markdown.
The rest is unchanged between master and 3.4.x branch, which can
server as an archive of un-converted content.
Policy style guide moved to new documentation
Remove documentation building instructions
Merge pull request #715 from vohi/remove_docs

Remove documentation sources from core repository