clingo: add more documentation to DOCDIR