Remove docs/.

These are have been moved into the github wiki.