INSTALL: explain how to build documentation