Update INSTALL to mention how to build docs