Delete extra files and branches with duplicate docs

[mbrukman]

On the master branch, in the doc top-level directory, there are the following files:

• html2wiki.sh
• index.html

The index.html file appears to have the same content as the top-level README.md file and we should be able to delete it, and the script was only useful for Google Code, so it can go as well.

On the wiki branch, we have the following top-level files:

• ProjectHome.md: a summary of the project, which already appears in the current top-level README.md
• cmockery.md: appears to be the same content as README.md, but with some errors in the Markdown formatting

I propose deleting both of the files in the doc directory, as well as both of the files on the wiki branch, which also implies removing the doc directory itself, and deleting the wiki branch itself, as there are no other files remaining in either once we do this cleanup.

@stewartmiles, are you OK with all of the proposed changes above? If so, I'm happy to do them.

[stewartmiles]

@mbrukman yeah this sounds fair.

[mbrukman]

Status update:

• removed extra files on master branch in PR Remove unneeded /doc/* files [skip ci] #52 (awaiting review)
• protected the master branch on GitHub to prevent branch deletion & direct pushes & require PRs
• removed the wiki branch entirely

Once PR #52 is merged, this issue can be closed.

[mbrukman]

This issue is now fully fixed and can be closed.