A few more documentation changes: merge doc/dev/ with doc/misc, remove
site and xslt directory, as they are distributed in their own github
archive.