Remove obsolete Docs file

The Docs was the complete documentation, now split over multiple files.
It can be removed now as all important content is copied over.