remove doc directory from repo

It gets regenerated constantly, so not having it makes commits nicer. Maybe it'll get its own repo.