Removing pre-generated documentation

We'll provide the doxyfile, no need to bloat the repo (and various
future commits).