Remove old documentation

Some of this stuff is out of date, and some of it is now part of a separate repository for the website.