delete docs/*

I don't want responsibility for keeping these up to date.
Users can use the wiki to contribute documentation if they want to.
Otherwise documentation will go in the README file or in a separate
repository.