Make installation of documentation in binary dists work properly.
Also install documentation by default for make install.