Move most documentation into a doc/ subdirectory.